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

@@ -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;