Started to remove ...Seq classes

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/DeadVarElim.cs b/Source/Core/DeadVarElim.cs
index e1da4dd6..62dfa03f 100644
--- a/Source/Core/DeadVarElim.cs
+++ b/Source/Core/DeadVarElim.cs
@@ -25,7 +25,7 @@ namespace Microsoft.Boogie {
       Implementation/*!*/ impl = base.VisitImplementation(node);

       Contract.Assert(impl != null);

       //Console.WriteLine("Old number of local variables = {0}", impl.LocVars.Length);

-      Microsoft.Boogie.VariableSeq/*!*/ vars = new Microsoft.Boogie.VariableSeq();

+      List<Variable>/*!*/ vars = new List<Variable>();

       foreach (Variable/*!*/ var in impl.LocVars) {

         Contract.Assert(var != null);

         if (usedVars.Contains(var))

@@ -108,7 +108,7 @@ namespace Microsoft.Boogie {
 

       foreach (Procedure x in modSets.Keys)

       {

-          x.Modifies = new IdentifierExprSeq();

+          x.Modifies = new List<IdentifierExpr>();

           foreach (Variable v in modSets[x])

           {

               x.Modifies.Add(new IdentifierExpr(v.tok, v));