From 82b8965563d2f189e4e1a69ea6a0959fa4e8902d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 7 May 2010 22:41:45 +0000
Subject: [PATCH] Bug fix in GUI approx m/c (introduced during new type system
 introduction ages ago).

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

diff --git a/prism/src/userinterface/GUISimulationPicker.java b/prism/src/userinterface/GUISimulationPicker.java
index 3b768965..1f994c39 100644
--- a/prism/src/userinterface/GUISimulationPicker.java
+++ b/prism/src/userinterface/GUISimulationPicker.java
@@ -658,7 +658,7 @@ public class GUISimulationPicker extends javax.swing.JDialog implements KeyListe
 			for(i = 0; i < initValuesModel.getNumValues(); i++)
 			{
 				parameter = initValuesModel.getValue(i).name;
-				newInitState.addValue(initValuesModel.getValue(i).name, initValuesModel.getValue(i));
+				newInitState.addValue(initValuesModel.getValue(i).name, initValuesModel.getValue(i).value);
 			}
 			information.setInitialState(newInitState);