From 0f6d4e6f212b057c9c27208ebab8ec2a460a5f2c Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 25 Mar 2013 16:08:52 +0100
Subject: [PATCH] remove debug output
---
.../core/command/ConstraintBasedRefinementCheckCommand.java | 2 --
1 file changed, 2 deletions(-)
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 90ad5e88..a86dd070 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";
}
--
GitLab