From 10a37b8277e2a3b35fb3e418fccd96484a86a518 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 9 Nov 2006 09:37:26 +0000
Subject: [PATCH] Fixed very obscure MTBDD round-off bug.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@132 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 68d3a0f4..25c6a590 100644
--- a/prism/src/prism/Modules2MTBDD.java
+++ b/prism/src/prism/Modules2MTBDD.java
@@ -1634,7 +1634,7 @@ public class Modules2MTBDD
 		
 		// find the max number of overlaps
 		// (i.e. max number of nondet. choices)
-		maxChoices = (int)JDD.FindMax(overlaps);
+		maxChoices = (int)Math.round(JDD.FindMax(overlaps));
 		
 		// if all the guards were false, we're done already
 		if (maxChoices == 0) {