From e8b3a05a2794f716dddaa58de00d6d21f4951d21 Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Thu, 8 Mar 2012 22:22:40 +0000
Subject: [PATCH] fixes ticket #10 when constants changed, they were not
 re-validated

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

diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index f4f28186..7bb1b412 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -541,6 +541,9 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 	public void constantListChanged()
 	{
 		labTable.validateLabels();
+		//maybe some constants became valid/invalid, so validate them
+		//before re-validating properties.
+		consTable.validateConstants();
 		propList.validateProperties();
 		setModified(true);
 	}