1 files changed, 5 insertions, 3 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 8262f749..5a1f8dc5 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -439,9 +439,11 @@ namespace Microsoft.Boogie {
       if (CommandLineOptions.Clo.ContractInfer) {
         Houdini.Houdini houdini = new Houdini.Houdini(program, true);
         Houdini.HoudiniOutcome outcome = houdini.PerformHoudiniInference();
-        Console.WriteLine("Assignment computed by Houdini:");
-        foreach (var x in outcome.assignment) {
-          Console.WriteLine(x.Key + " = " + x.Value);
+        if (CommandLineOptions.Clo.Trace) {
+          Console.WriteLine("Assignment computed by Houdini:");
+          foreach (var x in outcome.assignment) {
+            Console.WriteLine(x.Key + " = " + x.Value);
+          }
         }
         errorCount = outcome.ErrorCount;
         verified = outcome.Verified;