diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 1a1e0f51b549a7ed0724c93bac2193182d6dc62a..83642e0da89d4b18b189c6d65bb078f847758a78 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -266,8 +266,8 @@ public class Translator implements TranslationGlobals {
 			prologPrinter.printAsProlog(new PrintWriter(probFile, "UTF-8"), false);
 			System.out.println(probFile.getAbsolutePath() + " created.");
 
-			prologPrinter.printAsProlog(new PrintWriter(System.out), false);
-			;
+			//prologPrinter.printAsProlog(new PrintWriter(System.out), false);
+			
 		} catch (BException e) {
 			e.printStackTrace();
 		} catch (FileNotFoundException e) {