From 5bcf7c6c005233137cde6f908c6801a911aeca0a Mon Sep 17 00:00:00 2001
From: Valentin Wüstholz <wuestholz@gmail.com>
Date: Wed, 20 May 2015 19:39:24 +0200
Subject: Minor changes

---
 Source/Houdini/Checker.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Houdini')

diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs
index 30056d99..d9da29cc 100644
--- a/Source/Houdini/Checker.cs
+++ b/Source/Houdini/Checker.cs
@@ -238,6 +238,7 @@ namespace Microsoft.Boogie.Houdini {
       stats.proverTime += queryTime;
       stats.numProverQueries++;
       if (CommandLineOptions.Clo.Trace) {
+        Console.WriteLine("Outcome = " + proverOutcome);
         Console.WriteLine("Time taken = " + queryTime);
       }
 
-- 
cgit v1.2.3