From f1ce3e4fa8012689a77b8c79799ae89465437ff5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 11 Sep 2016 19:02:12 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/ModelGenerator2MTBDD.java b/prism/src/prism/ModelGenerator2MTBDD.java
index 78d8ca7c..e15576f0 100644
--- a/prism/src/prism/ModelGenerator2MTBDD.java
+++ b/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();