From 2a32d6e6a9b7e193c7a49893acc52397f1824d1d Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@me.com>
Date: Wed, 2 Oct 2013 17:10:22 +0100
Subject: removal of comment

---
 Source/Houdini/ConcurrentHoudini.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Houdini/ConcurrentHoudini.cs')

diff --git a/Source/Houdini/ConcurrentHoudini.cs b/Source/Houdini/ConcurrentHoudini.cs
index 3eeffa74..be7b1b79 100644
--- a/Source/Houdini/ConcurrentHoudini.cs
+++ b/Source/Houdini/ConcurrentHoudini.cs
@@ -222,7 +222,7 @@ namespace Microsoft.Boogie.Houdini
         List<Counterexample> errors;
         ProverInterface.Outcome outcome = TryCatchVerify(session, stage, completedStages, out errors);
         this.NotifyOutcome(outcome);
-        Console.WriteLine("***ERROR with id {0} --- {1}***", id, errors.Count);
+
         DebugRefutedCandidates(currentHoudiniState.Implementation, errors);
 
         #region Explain Houdini
-- 
cgit v1.2.3