From b9907fb88f89f95d48324024d3ac0812668a2b54 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Jul 2013 21:11:45 +0000
Subject: [PATCH] Remove some diag output.

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

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 7206f34b..dd27bd72 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -249,7 +249,6 @@ public class DTMCModelChecker extends ProbModelChecker
 		int invMap[] = pair.second;
 		int modelProductSize = modelProduct.getNumStates();
 		mainLog.print("\n" + modelProduct.infoStringTable());
-		mainLog.print(modelProduct);
 
 		// Find accepting BSCCs + compute reachability probabilities
 		mainLog.println("\nFinding accepting BSCCs...");