From bb693ff8457c80451d406563a7a5146daaaefa0c Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Thu, 13 Feb 2014 17:10:36 -0800
Subject: Fixed crash in parser

---
 Source/Dafny/Parser.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Dafny/Parser.cs')

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);
-- 
cgit v1.2.3