diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-19 17:49:05 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-19 17:49:05 -0700 |
| commit | 59126d0c00b34ce759d02e8947108606c150accc (patch) | |
| tree | 83223016b10000ed4f42a26b7032a877582f93b2 /Source/Dafny/Dafny.atg | |
| parent | 438603137718fd64b0b46d69d9997cc6a986491c (diff) | |
| parent | c947a2b16c007c36ffc55c003672142df5538cfd (diff) | |
Merge
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 cbdf5c79..66756b0c 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -499,7 +499,7 @@ TypeAndToken<out IToken/*!*/ tok, out Type/*!*/ ty> GenericInstantiation<gt> (. if (gt.Count != 2) {
SemErr("map type expects exactly two type arguments");
}
- ty = new MapType(gt[0], gt[1]);
+ else { ty = new MapType(gt[0], gt[1]); }
.)
| ReferenceType<out tok, out ty>
)
|