diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java index 789b28444789f2c6e8cd14dc8a8a46f408912eee..9efea70a50f7580fa3719a2f91c954de2e1deef0 100644 --- a/src/main/java/de/tlc4b/TLC4B.java +++ b/src/main/java/de/tlc4b/TLC4B.java @@ -159,7 +159,6 @@ public class TLC4B { println("Violated Definition: " + violatedDefinition); } - System.out.println(TLC4BGlobals.isCreateTraceFile()); if (results.hasTrace() && TLC4BGlobals.isCreateTraceFile()) { String trace = results.getTrace(); String tracefileName = machineFileNameWithoutFileExtension + ".tla.trace";