From ba03cc9671fe72e074fa2c60d82bbada1022d8cf Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Tue, 14 Aug 2012 14:09:46 +0000
Subject: [PATCH] Added comment

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5567 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 3389adcc..03f02b4d 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -1219,6 +1219,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 			Thread t = new LoadPropertiesThread(this, parsedModel, new File(argsPropertiesFile));
 			t.setPriority(Thread.NORM_PRIORITY);
 			t.start();
+			//we clear the variable to avoid loading property file every time a model is parsed.
 			argsPropertiesFile = null;
 		}
 	}