diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index f160beecaed26633eecea05921744184b84072eb..35fe57582753fbe771b0db5b8ddd6f97371136dd 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -84,8 +84,8 @@ public final class CliStarter {
 		command.add(executable);
 		// command.add("-ll");
 		command.add("-sf");
-		command.add("-parsercp");
 		command.add("-p");command.add("use_safety_ltl_model_checker");command.add("false");
+		command.add("-parsercp");
 		 // disable LTL safety model check as the counter examples lead to assertion failures 
 		 // in CounterExampleProposition in CounterExample.java
 		command.add(fullcp);