Bugfix in recent changes to GUIExperiment.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4599 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · 3ee7bb5651
1 changed files with 1 additions and 1 deletions
--- a/prism/src/userinterface/properties/GUIExperiment.java
+++ b/prism/src/userinterface/properties/GUIExperiment.java
@ -267,7 +267,7 @@ public class GUIExperiment
 					}

 					// for simulation where "simultaneous property checking" is enabled...
-					else if (useSimulation && prism.getSettings().getBoolean(PrismSettings.SIMULATOR_SIMULTANEOUS)
+					if (useSimulation && prism.getSettings().getBoolean(PrismSettings.SIMULATOR_SIMULTANEOUS)
 							&& undefinedConstants.getNumPropertyIterations() > 1) {
 						try {
 							// TODO