From 7af19279f66e91fc92cf52b0c4915c668084651a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 31 Jul 2012 10:16:26 +0000
Subject: [PATCH] GUI bugfix: NPE.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5481 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 8b5402aa..d9a9bf38 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -729,6 +729,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 
 			// Get path details from dialog
 			GUIPathPlotDialog pathPlotDialog = GUIPathPlotDialog.showDialog(getGUI(), parsedModel);
+			if (pathPlotDialog == null)
+				return;
 			String simPathDetails = pathPlotDialog.getSimPathString();
 			if (simPathDetails == null)
 				return;