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;
       }
     }