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/Parser.cs | 1 +
 1 file changed, 1 insertion(+)

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

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