Started to remove ...Seq classes

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/LambdaHelper.cs b/Source/Core/LambdaHelper.cs
index 6874f1c9..ede25c0e 100644
--- a/Source/Core/LambdaHelper.cs
+++ b/Source/Core/LambdaHelper.cs
@@ -96,10 +96,10 @@ namespace Microsoft.Boogie {
           lambda.ComputeFreeVariables(freeVars);

           // this is ugly, the output will depend on hashing order

           Dictionary<Variable, Expr> subst = new Dictionary<Variable, Expr>();

-          VariableSeq formals = new VariableSeq();

+          List<Variable> formals = new List<Variable>();

           ExprSeq callArgs = new ExprSeq();

           ExprSeq axCallArgs = new ExprSeq();

-          VariableSeq dummies = new VariableSeq(lambda.Dummies);

+          List<Variable> dummies = new List<Variable>(lambda.Dummies);

           TypeVariableSeq freeTypeVars = new TypeVariableSeq();

           List<Type/*!*/> fnTypeVarActuals = new List<Type/*!*/>();

           TypeVariableSeq freshTypeVars = new TypeVariableSeq();  // these are only used in the lambda@n function's definition