diff options
Diffstat (limited to 'Source/Dafny/Translator.cs')
| -rw-r--r-- | Source/Dafny/Translator.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs index 6f3e7ecb..d0430026 100644 --- a/Source/Dafny/Translator.cs +++ b/Source/Dafny/Translator.cs @@ -3629,6 +3629,9 @@ namespace Microsoft.Dafny { Contract.Assert(substMap != null);
e = Substitute(e, receiverReplacement, substMap);
}
+
+ e = Resolver.FrameArrowToObjectSet(e, ref otherTmpVarCount);
+
Bpl.Expr disjunct;
var eType = e.Type.NormalizeExpand();
if (e is WildcardExpr) {
|