From 6fdb6937e07d45b1e11d641f9f1a65029b5360dd Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Tue, 17 Feb 2009 12:34:25 +0000
Subject: [PATCH] isValid bug

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

diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 5334777f..5468e4a6 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -743,7 +743,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 			message("Cannot save properties list: some properties are invalid");
 			return CANCEL;
 		}
-		if (!consTable.isValid())
+		if (!consTable.isConstantListValid())
 		{
 			message("Cannot save properties list: some constants are invalid");
 			return CANCEL;