diff options
Diffstat (limited to 'Source/Provers/Simplify')
| -rw-r--r-- | Source/Provers/Simplify/Prover.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Simplify/Prover.cs b/Source/Provers/Simplify/Prover.cs index 6db18cb4..b8810e00 100644 --- a/Source/Provers/Simplify/Prover.cs +++ b/Source/Provers/Simplify/Prover.cs @@ -97,7 +97,7 @@ namespace Microsoft.Boogie.Simplify { }
public void Close()
- //modifies this.*;
+ //modifies this.*; {
cce.BeginExpose(this);
{
|