1 files changed, 0 insertions, 2 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 9646ef85..1b03c507 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -754,8 +754,6 @@ namespace Microsoft.Boogie.Houdini {
       HoudiniState current = new HoudiniState(BuildWorkList(program), BuildAssignment(houdiniConstants.Keys));
       this.NotifyStart(program, houdiniConstants.Keys.Count);
 
-      Console.WriteLine("Using the new houdini algorithm\n");
-
       while (current.WorkList.Count > 0) {
         bool exceptional = false;
         System.GC.Collect();