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/Dafny.atg | |
| parent | 733c87fcb27a43b9fd842a363d74e579ce35c25a (diff) | |
Minor change to grammar to avoid missing token
Diffstat (limited to 'Source/Dafny/Dafny.atg')
| -rw-r--r-- | Source/Dafny/Dafny.atg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index 45018cd3..9dee1cc9 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -1147,7 +1147,7 @@ TypeAndToken<out IToken tok, out Type ty> ty = new UserDefinedType(tok, BuiltIns.TupleTypeName(dims), dims == 0 ? null : tupleArgTypes);
}
.)
- | (. Expression e; .)
+ | (. Expression e; tok = t; .)
NameSegmentForTypeName<out e>
{ "." ident (. tok = t; List<Type> typeArgs = null; .)
[ (. typeArgs = new List<Type>(); .)
|