diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-16 22:15:41 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-16 22:15:41 -0800 |
| commit | 44fadfb3db027ce727ecf1d209c3a4a10036d521 (patch) | |
| tree | fd46795e086b6ea651fe20027ba6e994c520c9f3 /Source/VCGeneration/Check.cs | |
| parent | 2c21674e24312f34cec0a99a72e6afd717abf94c (diff) | |
Dafny: fixed bad Code Contracts
Diffstat (limited to 'Source/VCGeneration/Check.cs')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index 8e92c239..2f7267b1 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -158,7 +158,6 @@ namespace Microsoft.Boogie { }
foreach (Declaration decl in prog.TopLevelDeclarations) {
Contract.Assert(decl != null);
- bool expand = false;
Axiom ax = decl as Axiom;
if (ax != null) {
ctx.AddAxiom(ax, null);
|