From 795bfb72e307945bf2e01dd8d2732b91597a8f2f Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Sat, 28 Jun 2014 14:37:41 +0200
Subject: [PATCH] Removed unnecessary console output
---
src/main/java/de/tla2bAst/Translator.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 1a1e0f5..83642e0 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) {
--
GitLab