From 79aa1c7b1c1af049adfddbe1f17077ce9240d9e2 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 5 Oct 2013 07:18:01 +0000
Subject: [PATCH] Debug code.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7506 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/NondetModelChecker.java | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 4e55d73f..ef1c535e 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -1333,11 +1333,9 @@ public class NondetModelChecker extends NonProbModelChecker
 		l = System.currentTimeMillis();
 		dra = LTLModelChecker.convertLTLFormulaToDRA(ltl);
 		mainLog.println("\nDRA has " + dra.size() + " states, " + dra.getNumAcceptancePairs() + " pairs.");
-		/*try{
-			mainLog.println("Printing dra...   ");
-			dra.print(System.out);
+		/*try {
+			mainLog.print(dra);
 			dra.printDot(new java.io.PrintStream("dra.dot"));
-			mainLog.println("done...   ");
 		} catch(Exception e) {}*/
 		l = System.currentTimeMillis() - l;
 		mainLog.println("\nTime for Rabin translation: " + l / 1000.0 + " seconds.");