diff options
| -rw-r--r-- | Source/Dafny/Translator.cs | 2 |
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);
|