diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-04 18:40:59 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-04 18:40:59 -0700 |
| commit | 659491fddae2ee457100b6fa4c27afef3340621e (patch) | |
| tree | f9538d97ac1e58da751726006d48334d6164ef7d /Source | |
| parent | 3ff2e42970584ad66f8b8e353ddce86dbea92baf (diff) | |
Fixed bug with triply nested maps and polymorphism (reported as Item # 10218).
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index 62ebc77f..1367a08d 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -1472,7 +1472,7 @@ namespace Microsoft.Boogie { NAryExpr/*!*/ res = Expr.Select(Map.AsExpr, Indexes);
Contract.Assert(res != null);
res.TypeParameters = this.TypeParameters;
- res.Type = Map.AsExpr.Type.AsMap.Result;
+ res.Type = this.Type;
return res;
}
}
|