diff options
Diffstat (limited to 'Source/Provers/Simplify/Prover.cs')
| -rw-r--r-- | Source/Provers/Simplify/Prover.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/Simplify/Prover.cs b/Source/Provers/Simplify/Prover.cs index 957104f3..b323b9b8 100644 --- a/Source/Provers/Simplify/Prover.cs +++ b/Source/Provers/Simplify/Prover.cs @@ -207,7 +207,6 @@ namespace Microsoft.Boogie.Simplify { //modifies this.**;
//modifies Console.Out.*, Console.Error.*;
//modifies handler.*;
- //TODO: Contract.EnsuresOnThrow<UnexpectedProverOutputException>(true);
protected abstract void DoBeginCheck(string descriptiveName, string formula);
//modifies this.*;
|