diff options
| author |  Jason Koenig <unknown> | 2012-06-15 17:04:10 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-15 17:04:10 -0700 |
| commit | 0788f5ea2bb20f079ffa5294d52fe76b78c74fa9 (patch) | |
| tree | 169380972f930f670d0ca21e7beaad4a52c8ee8a /Source/Dafny/Dafny.atg | |
| parent | eb2b6fda659fda09be89e4360eada2f123a3c80c (diff) | |
Dafny: fixed parsing bug.
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 4a99c9ee..13f6c245 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>
)
|