diff options
author | wuestholz <unknown> | 2015-01-24 11:57:42 +0100 |
---|---|---|
committer | wuestholz <unknown> | 2015-01-24 11:57:42 +0100 |
commit | 6cc009684e95d984e94b440d257acb8d39b84892 (patch) | |
tree | 8ee9947f9681716a5ac39f7ff84d477861637f53 /Source/Dafny/Parser.cs | |
parent | 733c87fcb27a43b9fd842a363d74e579ce35c25a (diff) |
Minor change to grammar to avoid missing token
Diffstat (limited to 'Source/Dafny/Parser.cs')
-rw-r--r-- | Source/Dafny/Parser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index ffe3f7f2..d0bcef21 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -1609,7 +1609,7 @@ bool IsType(ref IToken pt) { break;
}
case 1: {
- Expression e;
+ Expression e; tok = t;
NameSegmentForTypeName(out e);
while (la.kind == 24) {
Get();
|