diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 1833f8becaeb9b09a6f4bd9101d326a8e87b0ee3..e11c7c9bbe94c1e4dd775957f282eda58c901eb9 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -123,6 +123,7 @@ public final class CliStarter {
 
 		final ProcessBuilder pb = new ProcessBuilder();
 		pb.command(command);
+		pb.environment().put("NO_COLOR", "1");
 		pb.environment().put("PROB_HOME", osPath);
 		try {
 			prologProcess = pb.start();