diff options
| author |  MichalMoskal <unknown> | 2010-08-06 16:29:39 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-08-06 16:29:39 +0000 |
| commit | 9edae7ed37692a03f1c1e5c9596b5bd88482f829 (patch) | |
| tree | 91e9cb209708bb4590b4aded9ac26bdc022706bc /Source/Provers/Simplify | |
| parent | 149d9a5ec06529e7f4c4c6e3cb688d2c73a2c1f0 (diff) | |
Fixup line-endings.
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 b8810e00..957104f3 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);
{
|