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;