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

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