1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs
index 52fb3796..b29aa933 100644
--- a/Source/Houdini/Checker.cs
+++ b/Source/Houdini/Checker.cs
@@ -215,6 +215,10 @@ namespace Microsoft.Boogie.Houdini {
       }
        */
 
+      if(CommandLineOptions.Clo.Trace) {
+        Console.WriteLine("Houdini assignment axiom: " + expr);
+      }
+
       return expr;
     }