1 files changed, 0 insertions, 2 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 4b533e5b..c3575800 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -712,8 +712,6 @@ namespace Microsoft.Boogie.Houdini {
     }
 
     protected void AddRelatedToWorkList(RefutedAnnotation refutedAnnotation) {
-      if (refutedAnnotation == null) Console.WriteLine("TEEEEEST!!!");
-
       Contract.Assume(currentHoudiniState.Implementation != null);
       foreach (Implementation implementation in FindImplementationsToEnqueue(refutedAnnotation, refutedAnnotation.RefutationSite)) {
         if (!currentHoudiniState.isBlackListed(implementation.Name)) {