From 914f8b1b7cf0db8ba3fbb703d71e1ceb1d866120 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Thu, 25 Jun 2015 17:09:45 -0700
Subject: removed a stray Console.WriteLine that Ken had earlier checked in by
 mistake.

---
 Source/Provers/SMTLib/ProverInterface.cs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 0ff2efa7..8ded5f10 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -1172,7 +1172,6 @@ namespace Microsoft.Boogie.SMTLib
         usedLogNames.Add(curFilename);
       }
 
-      Console.WriteLine("opening log file {0}", curFilename);
       return new StreamWriter(curFilename, false);
     }
 
-- 
cgit v1.2.3