From 139f5b8e0901d33703a687892b6eac93c879ef08 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Wed, 10 Jul 2013 20:05:36 -0700
Subject: Because of neighboring parse conflict handlers, must call ResetPeek()

---
 Source/Dafny/Dafny.atg | 1 +
 Source/Dafny/Parser.cs | 1 +
 2 files changed, 2 insertions(+)

diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg
index e7023007..91577559 100644
--- a/Source/Dafny/Dafny.atg
+++ b/Source/Dafny/Dafny.atg
@@ -113,6 +113,7 @@ bool IsLoopSpecOrAlternative() {
 }
 
 bool IsParenStar() {
+  scanner.ResetPeek();
   Token x = scanner.Peek();
   return la.kind == _openparen && x.kind == _star;
 }
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs
index 49da9891..d4d411a6 100644
--- a/Source/Dafny/Parser.cs
+++ b/Source/Dafny/Parser.cs
@@ -136,6 +136,7 @@ bool IsLoopSpecOrAlternative() {
 }
 
 bool IsParenStar() {
+  scanner.ResetPeek();
   Token x = scanner.Peek();
   return la.kind == _openparen && x.kind == _star;
 }
-- 
cgit v1.2.3