From 956502221493653159c14537eb67eee79a6f5cf9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 14 Aug 2012 14:04:49 +0000
Subject: [PATCH] Fix: properties files passed to GUI forgotten about in case
 of model parse error.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5566 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIMultiProperties.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 80502bcb..3389adcc 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -1158,6 +1158,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 				if (simulateAfterReceiveParseNotification)
 					simulateAfterParse();
 			} else if (me.getID() == GUIModelEvent.MODEL_PARSE_FAILED) {
+				argsPropertiesFile = null;
 				verifyAfterReceiveParseNotification = false;
 				experimentAfterReceiveParseNotification = false;
 				simulateAfterReceiveParseNotification = false;