From 6e28470f7dbc961b15ad654ab354009a4641eb8a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 10 Nov 2007 10:01:25 +0000
Subject: [PATCH] Unbreak model construction using -m on DTMCs/CTMCs.

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

diff --git a/prism/src/prism/Modules2MTBDD.java b/prism/src/prism/Modules2MTBDD.java
index 07b76fa0..1cef0a9a 100644
--- a/prism/src/prism/Modules2MTBDD.java
+++ b/prism/src/prism/Modules2MTBDD.java
@@ -527,7 +527,7 @@ public class Modules2MTBDD
 				}
 			}
 			// add any remaining scheduling dd var(s) (happens if some modules have no vars)
-			for (j = last+1; j <numModules; j++) {
+			if (type == ModulesFile.NONDETERMINISTIC) for (j = last+1; j <numModules; j++) {
 				v = JDD.Var(ddVarsUsed++);
 				ddSchedVars[j] = v;
 				ddVarNames.add(moduleNames[j] + ".s");