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