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 | |
| parent | ff6a3b5f54ec45deae792e326bc3f033f5ec4812 (diff) | |
Because of neighboring parse conflict handlers, must call ResetPeek()
| -rw-r--r-- | Source/Dafny/Dafny.atg | 1 | ||||
| -rw-r--r-- | Source/Dafny/Parser.cs | 1 |
2 files changed, 2 insertions, 0 deletions
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;
}
|