diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java
index 460a348e..b305988c 100644
--- 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