diff options
| author |  qadeer <unknown> | 2013-12-22 00:34:35 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-22 00:34:35 -0800 |
| commit | 9decee118ad579769bea68c2542162b1aed7d440 (patch) | |
| tree | b88316f3b7a1213e10fe67a18c73c5a9f27f4031 /Source/Core/Parser.cs | |
| parent | ca02664886e23e4d26e9a19b07c51b82de9d9e4f (diff) | |
bug fixes in Duplicate.cs and parsing of invariant attributes
other bug fixes in QED stuff
Diffstat (limited to 'Source/Core/Parser.cs')
| -rw-r--r-- | Source/Core/Parser.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs index f1cae496..8049c220 100644 --- a/Source/Core/Parser.cs +++ b/Source/Core/Parser.cs @@ -1147,6 +1147,7 @@ out List<Variable>/*!*/ ins, out List<Variable>/*!*/ outs, out QKeyValue kv) { } else {
invariants.Add(new AssertCmd(z, e, kv));
}
+ kv = null;
Expect(8);
}
|