Remove debug output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10160 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · a6a371ee77
1 changed files with 0 additions and 1 deletions
--- a/prism/src/explicit/MDPModelChecker.java
+++ b/prism/src/explicit/MDPModelChecker.java
@ -88,7 +88,6 @@ public class MDPModelChecker extends ProbModelChecker
 		};

 		product = mcLtl.constructProductMDP(this, (MDP)model, expr, statesOfInterest, allowedAcceptance);
-		mainLog.println(product.getProductModel().getStatesList());
 		
 		// Output product, if required
 		if (getExportProductTrans()) {