diff options
| author |  Rustan Leino <unknown> | 2014-02-13 17:10:36 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-02-13 17:10:36 -0800 |
| commit | bb693ff8457c80451d406563a7a5146daaaefa0c (patch) | |
| tree | 831a4e0857efe2572570667307e70bb0076f1246 /Source/Dafny/Parser.cs | |
| parent | aea970484bbe0b335e19a4d51842662d526a0304 (diff) | |
Fixed crash in parser
Diffstat (limited to 'Source/Dafny/Parser.cs')
| -rw-r--r-- | Source/Dafny/Parser.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 07211134..57284c8e 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -1648,7 +1648,7 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo void AssertStmt(out Statement/*!*/ s) {
Contract.Ensures(Contract.ValueAtReturn(out s) != null); IToken/*!*/ x;
- Expression e = null; Attributes attrs = null;
+ Expression e = dummyExpr; Attributes attrs = null;
IToken dotdotdot = null;
Expect(83);
@@ -1673,7 +1673,7 @@ List<Expression/*!*/>/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo void AssumeStmt(out Statement/*!*/ s) {
Contract.Ensures(Contract.ValueAtReturn(out s) != null); IToken/*!*/ x;
- Expression e = null; Attributes attrs = null;
+ Expression e = dummyExpr; Attributes attrs = null;
IToken dotdotdot = null;
Expect(72);
|