diff options
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProcess.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs index 2b09362b..4a1331c5 100644 --- a/Source/Provers/SMTLib/SMTLibProcess.cs +++ b/Source/Provers/SMTLib/SMTLibProcess.cs @@ -93,7 +93,6 @@ namespace Microsoft.Boogie.SMTLib log = log.Replace("\r", "").Replace("\n", " ");
Console.WriteLine("[SMT-INP-{0}] {1}", smtProcessId, log);
}
- Console.WriteLine(cmd); //TODO: Remove This Line
toProver.WriteLine(cmd);
}
|