diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index 06137bf6d15edc5b0f5ea9899315e0fae92e7fdc..615aff0478da570604916117a2d07872f38f0063 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -282,7 +282,6 @@ public class TLC4B {
 			TLC4BGlobals.setAssertionCheck(!line.hasOption(NOASS.arg()));
 			TLC4BGlobals.setWelldefinednessCheck(line.hasOption(WDCHECK.arg()));
 			TLC4BGlobals.setSymmetryUse(line.hasOption(SYMMETRY.arg()));
-			TLC4BGlobals.setTool(!line.hasOption(TOOL.arg()));
 			TLC4BGlobals.setCheckltl(!line.hasOption(NOLTL.arg()));
 			TLC4BGlobals.setForceTLCToEvalConstants(!line.hasOption(LAZYCONSTANTS.arg()));
 			TLC4BGlobals.setCreateTraceFile(!line.hasOption(NOTRACE.arg()));
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index 51f03f578b252674c9ab3e3d975cd4d2812b5128..2ae19fc3df4eb8d544b9b0d3d933704fc621f4b5 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -22,7 +22,6 @@ public class TLC4BGlobals {
 
 	private static boolean runTLC;
 	private static boolean translate;
-	private static boolean hideTLCConsoleOutput;
 	private static boolean createTraceFile;
 
 	private static boolean forceTLCToEvalConstants;
@@ -60,7 +59,6 @@ public class TLC4BGlobals {
 		// for debugging purposes
 		runTLC = true;
 		translate = true;
-		hideTLCConsoleOutput = false; // is mapped to TOOLIO.tool
 		deleteFilesOnExit = false; // if enabled: deletes all created '.tla', '.cfg' files on exit of the JVM.
 			// This includes the created B2TLA standard modules (e.g. Relation, but not Naturals etc.).
 		createTraceFile = true;
@@ -114,10 +112,6 @@ public class TLC4BGlobals {
 		return checkLTL;
 	}
 
-	public static boolean isTool() {
-		return hideTLCConsoleOutput;
-	}
-
 	public static boolean isDeleteOnExit() {
 		return deleteFilesOnExit;
 	}
@@ -170,10 +164,6 @@ public class TLC4BGlobals {
 		TLC4BGlobals.checkLTL = checkltl;
 	}
 
-	public static void setTool(boolean tool) {
-		TLC4BGlobals.hideTLCConsoleOutput = tool;
-	}
-
 	public static void setDeleteOnExit(boolean deleteOnExit) {
 		TLC4BGlobals.deleteFilesOnExit = deleteOnExit;
 	}
diff --git a/src/main/java/de/tlc4b/TLC4BOption.java b/src/main/java/de/tlc4b/TLC4BOption.java
index 902ae7200d6ab941db1760e78418e6db898df0c0..0c2292fb5cfcb978d3d7743d084a8657667ec58c 100644
--- a/src/main/java/de/tlc4b/TLC4BOption.java
+++ b/src/main/java/de/tlc4b/TLC4BOption.java
@@ -9,7 +9,6 @@ public enum TLC4BOption {
 	NOASS("noass", "do not look for ASSERTION violations", null),
 	WDCHECK("wdcheck", "", null),
 	SYMMETRY("symmetry", "", null),
-	TOOL("tool", "", null),
 	TMP("tmp", "", null),
 	NOLTL("noltl", "no checking of LTL assertions", null),
 	LAZYCONSTANTS("lazyconstants", "", null),