From 4629fa462a41654f24f0e24ddf615d9d83a80e37 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 22 Nov 2009 22:21:53 +0000
Subject: [PATCH] Bugfix: GUI does not offer graphs for integer-values
 properties.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1582 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 c44d446c..89a85c55 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -371,7 +371,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 			error("Cannot create an experiment because there are no constants with undefined values");
 			return;
 		}
-		int result = GUIExperimentPicker.defineConstantsWithDialog(this.getGUI(), uCon, type instanceof TypeBool || type instanceof TypeDouble, gp.isValidForSimulation());
+		int result = GUIExperimentPicker.defineConstantsWithDialog(this.getGUI(), uCon, type instanceof TypeInt || type instanceof TypeDouble, gp.isValidForSimulation());
 		if(result == GUIExperimentPicker.VALUES_DONE_SHOW_GRAPH || result == GUIExperimentPicker.VALUES_DONE_SHOW_GRAPH_AND_SIMULATE)
 		{
 			showGraphDialog = true;