diff options
author | Rustan Leino <unknown> | 2013-07-10 20:05:36 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-07-10 20:05:36 -0700 |
commit | 139f5b8e0901d33703a687892b6eac93c879ef08 (patch) | |
tree | dcc523b78c9425cf3d35b7e040676b0038005628 /Source/Dafny/Parser.cs | |
parent | ff6a3b5f54ec45deae792e326bc3f033f5ec4812 (diff) |
Because of neighboring parse conflict handlers, must call ResetPeek()
Diffstat (limited to 'Source/Dafny/Parser.cs')
-rw-r--r-- | Source/Dafny/Parser.cs | 1 |
1 files changed, 1 insertions, 0 deletions
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;
}
|