Fixed bug where wellformedness for E in multiset(E) was checked in the "old" context.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs
index 60a40f57..4d84a5f5 100644
--- a/Source/Dafny/Translator.cs
+++ b/Source/Dafny/Translator.cs
@@ -2054,7 +2054,7 @@ namespace Microsoft.Dafny {
         CheckWellformed(e.E, options, locals, builder, etran.Old);

       } else if (expr is MultiSetFormingExpr) {

         MultiSetFormingExpr e = (MultiSetFormingExpr)expr;

-        CheckWellformed(e.E, options, locals, builder, etran.Old);

+        CheckWellformed(e.E, options, locals, builder, etran);

       } else if (expr is FreshExpr) {

         FreshExpr e = (FreshExpr)expr;

         CheckWellformed(e.E, options, locals, builder, etran);