Remove debug output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9847 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 5557db131f
1 changed files with 0 additions and 1 deletions
--- a/prism/src/prism/NondetModel.java
+++ b/prism/src/prism/NondetModel.java
@ -233,7 +233,6 @@ public class NondetModel extends ProbModel
 		numChoices = JDD.GetNumMinterms(nondetMask, getNumDDRowVars() + getNumDDNondetVars());
 		JDD.Ref(reach);
 		nondetMask = JDD.And(JDD.Not(nondetMask), reach);
-		JDD.PrintInfo(nondetMask, getNumDDRowVars() + getNumDDNondetVars());
 	}

 	@Override