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

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