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

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