From f2b5e664d3f24dd4ca828f4dda4db251578bbabc Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 12:32:33 +0200
Subject: [PATCH] Remove debug print
---
src/main/java/de/tlc4b/TLC4B.java | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index 789b284..9efea70 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";
--
GitLab