Changes to ComputeFreeVariables--bug fix as well as beautification

1 files changed, 1 insertions, 4 deletions

diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs
index 570ac30d..ef5ba69e 100644
--- a/Source/Dafny/Compiler.cs
+++ b/Source/Dafny/Compiler.cs
@@ -2863,11 +2863,8 @@ namespace Microsoft.Dafny {
 

       } else if (expr is LambdaExpr) {

         LambdaExpr e = (LambdaExpr)expr;

-        ISet<IVariable> fvs = new HashSet<IVariable>();

-        bool dontCare = false;

-        Type dontCareT = null;

 

-        Translator.ComputeFreeVariables(expr, fvs, ref dontCare, ref dontCare, ref dontCareT, false);

+        var fvs = Translator.ComputeFreeVariables(expr);

         var sm = new Dictionary<IVariable, Expression>();

 

         var bvars = new List<BoundVar>();