From 5557db131f8c3c7c81ed9a23a52e676a1a7ac4be Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 19 May 2015 01:05:31 +0000
Subject: [PATCH] Remove debug output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9847 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/NondetModel.java | 1 -
 1 file changed, 1 deletion(-)

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