diff --git a/de.prob.core/src/de/prob/core/command/ConstraintBasedRefinementCheckCommand.java b/de.prob.core/src/de/prob/core/command/ConstraintBasedRefinementCheckCommand.java
index 90ad5e881cb725d7f0f61df567b129fabf8d5a5a..a86dd0703dd412ae26bda8c117c9974c67b97183 100644
--- a/de.prob.core/src/de/prob/core/command/ConstraintBasedRefinementCheckCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ConstraintBasedRefinementCheckCommand.java
@@ -72,8 +72,6 @@ public class ConstraintBasedRefinementCheckCommand implements
 		final ListPrologTerm resultStringTerm = (ListPrologTerm) bindings
 				.get(RESULT_STRINGS_VARIABLE);
 
-		System.out.println(resultStringTerm.toString());
-
 		for (PrologTerm t : resultStringTerm) {
 			resultsString += PrologTerm.atomicString(t) + "\n";
 		}