removed a stray Console.WriteLine that Ken had earlier checked in by

mistake.
stephenfreund · Jun 26, 2015 · 914f8b1 · 914f8b1
1 parent 909a72d
commit 914f8b1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
@@ -1172,7 +1172,6 @@ private TextWriter OpenOutputFile(string descriptiveName)
         usedLogNames.Add(curFilename);
       }
 
-      Console.WriteLine("opening log file {0}", curFilename);
       return new StreamWriter(curFilename, false);
     }