diff options
| author |  qadeer <qadeer@microsoft.com> | 2015-06-25 17:09:45 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2015-06-25 17:09:45 -0700 |
| commit | 914f8b1b7cf0db8ba3fbb703d71e1ceb1d866120 (patch) | |
| tree | 371b7459544b81ff62acbde4bc60cfda68918c6b | |
| parent | 909a72d218edd18c9374b2cd9cc3496e946fd4ee (diff) | |
removed a stray Console.WriteLine that Ken had earlier checked in by
mistake.
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 1 |
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);
}
|