From ba83bf6fd6014f95649bb038990dff1493a5a8fb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 19 Mar 2008 14:15:40 +0000
Subject: [PATCH] Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@697 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIProperty.java | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/prism/src/userinterface/properties/GUIProperty.java b/prism/src/userinterface/properties/GUIProperty.java
index 78e0c345..ec31b18f 100644
--- a/prism/src/userinterface/properties/GUIProperty.java
+++ b/prism/src/userinterface/properties/GUIProperty.java
@@ -91,9 +91,6 @@ public class GUIProperty
 	private String method;			// Method used (verification, simulation)
 	private String constantsString;	// Constant values used
 	
-	private Values nextMFConstants;
-	private Values nextPFConstants;
-	
 	/** Creates a new instance of GUIProperty */
 	public GUIProperty(Prism prism, String id, String propString, String comment)
 	{
@@ -112,8 +109,6 @@ public class GUIProperty
 		parseError = "";
 		method = "<none>";
 		constantsString = "<none>";
-		nextMFConstants = new Values();
-		nextPFConstants = new Values();
 	}
 	
 	//ACCESS METHODS