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;