From 8fcf374603ae7efd58fc345403526b61840874ab Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 20 Nov 2013 23:59:56 +0000
Subject: [PATCH] Remove debug output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7618 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jltl2dstar/LTL2Rabin.java | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/prism/src/jltl2dstar/LTL2Rabin.java b/prism/src/jltl2dstar/LTL2Rabin.java
index a2334a69..a2babc38 100644
--- a/prism/src/jltl2dstar/LTL2Rabin.java
+++ b/prism/src/jltl2dstar/LTL2Rabin.java
@@ -30,10 +30,7 @@ import java.util.BitSet;
 public class LTL2Rabin {
 	
 	public static prism.DRA<BitSet> ltl2rabin(SimpleLTL ltlFormula) throws PrismException {
-		System.out.println(ltlFormula);
 		SimpleLTL ltl = ltlFormula.simplify();
-		ltl2rabin(ltl, ltl.getAPs()).print(System.out);
-		ltl2rabin(ltl, ltl.getAPs()).printDot(System.out);
 		return ltl2rabin(ltl, ltl.getAPs()).createPrismDRA();
 	}