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();
 	}