From d55bb4a7d5b43454cbb8c5588a7e69cf26871939 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Thu, 9 Feb 2012 12:43:49 -0800
Subject: minor bug in printing z3 path when running with /trace

---
 Source/Provers/SMTLib/Z3.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Source/Provers')

diff --git a/Source/Provers/SMTLib/Z3.cs b/Source/Provers/SMTLib/Z3.cs
index 2b426f0b..f3d237d4 100644
--- a/Source/Provers/SMTLib/Z3.cs
+++ b/Source/Provers/SMTLib/Z3.cs
@@ -43,8 +43,10 @@ namespace Microsoft.Boogie.SMTLib
         _proverPath = Path.Combine(CodebaseString(), proverExe);
         string firstTry = _proverPath;
 
-        if (File.Exists(firstTry))
+        if (File.Exists(firstTry)) {
+          Console.WriteLine("[TRACE] Using prover: " + _proverPath);
           return;
+        }
 
         string programFiles = Environment.GetEnvironmentVariable("ProgramFiles");
         Contract.Assert(programFiles != null);
-- 
cgit v1.2.3