Unbreak ModelGenerator2MTBDD: max number of nondet choices had been set to 1 for testing purposes.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11803 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/ModelGenerator2MTBDD.java

@@ -125,7 +125,7 @@ public class ModelGenerator2MTBDD
 
 		// for an mdp, compute the max number of choices in a state
 		if (modelType == ModelType.MDP)
-			maxNumChoices = 1; // TODO: un-hard-code
+			maxNumChoices = 32; // TODO: un-hard-code
 
 		// allocate dd variables
 		allocateDDVars();