summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Source/Provers/SMTLib/ProverInterface.cs1
1 files changed, 0 insertions, 1 deletions
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);
}