diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index f75a1f28d2c49901a6efde78350e478fe3976e09..bbf72952d5c5ca86041ae3f9630d0a8c61fdfe57 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -194,7 +194,6 @@ public class TLC4B {
 		System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
 		TLC4BGlobals.resetGlobals();
 		TLC4BGlobals.setDeleteOnExit(deleteFiles);
-		// B2TLAGlobals.setCleanup(true);
 		TLC4B tlc4b = new TLC4B();
 		try {
 			tlc4b.process(args);
@@ -220,7 +219,6 @@ public class TLC4B {
 		System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
 		TLC4BGlobals.resetGlobals();
 		TLC4BGlobals.setDeleteOnExit(deleteFiles);
-		// B2TLAGlobals.setCleanup(true);
 		TLC4B tlc4b = new TLC4B();
 		tlc4b.buildDir = new File("temp/");
 
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index eea24e9d718fad5289968b9608b81138f8d9014f..bed89c27fc53245c83920f3b69a704c0d2a65e78 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -27,8 +27,6 @@ public class TLC4BGlobals {
 	private static boolean hideTLCConsoleOutput;
 	private static boolean createTraceFile;
 
-	private static boolean cleanup;
-
 	private static boolean forceTLCToEvalConstants;
 
 	private static int workers;
@@ -61,8 +59,6 @@ public class TLC4BGlobals {
 
 		proBconstantsSetup = false;
 
-		cleanup = true;
-
 		workers = 1;
 		dfid_initial_depth = -1; // option not selected
 
@@ -212,14 +208,6 @@ public class TLC4BGlobals {
 		return TLC4BGlobals.dfid_initial_depth;
 	}
 
-	public static boolean isCleanup() {
-		return cleanup;
-	}
-
-	public static void setCleanup(boolean cleanup) {
-		TLC4BGlobals.cleanup = cleanup;
-	}
-
 	public static boolean isProBconstantsSetup() {
 		return proBconstantsSetup;
 	}