From a28c14715c43d04d85f2f8f03df2b303563c9076 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 29 Jun 2012 13:39:13 +0000
Subject: [PATCH] Simulation path generation handles empty vars=().

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5399 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/GenerateSimulationPath.java | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/prism/src/simulator/GenerateSimulationPath.java b/prism/src/simulator/GenerateSimulationPath.java
index c8913c89..201addf7 100644
--- a/prism/src/simulator/GenerateSimulationPath.java
+++ b/prism/src/simulator/GenerateSimulationPath.java
@@ -179,10 +179,12 @@ public class GenerateSimulationPath
 					s = s.substring(0, s.length() - 1);
 					done = true;
 				}
-				j = varList.getIndex(s);
-				if (j == -1)
-					throw new PrismException("Unknown variable \"" + s + "\" in \"vars=(...)\" list");
-				simVars.add(j);
+				if (s.length() > 0) {
+					j = varList.getIndex(s);
+					if (j == -1)
+						throw new PrismException("Unknown variable \"" + s + "\" in \"vars=(...)\" list");
+					simVars.add(j);
+				}
 				while (i < n && !done) {
 					s = ss[++i];
 					if (s.indexOf(')') > -1) {
@@ -466,7 +468,7 @@ public class GenerateSimulationPath
 		private String details;
 		private int maxPathLength;
 		private Graph graphModel;
-		
+
 		public GenerateAndPlotThread(ModulesFile modulesFile, parser.State initialState, String details, int maxPathLength, Graph graphModel)
 		{
 			this.modulesFile = modulesFile;