diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index fa9b381b8afad892af541a5aca878f0aa0116289..c9f23ecd2ab6cd30390a621f172c85395e125ff9 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -105,8 +105,6 @@ public final class CliStarter {
 
 		final ProcessBuilder pb = new ProcessBuilder();
 		pb.command(command);
-		pb.environment().put("TRAILSTKSIZE", "1M");
-		pb.environment().put("PROLOGINCSIZE", "50M");
 		pb.environment().put("PROB_HOME", osPath);
 		try {
 			prologProcess = pb.start();