Started to remove ...Seq classes

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Doomed/DoomedLoopUnrolling.cs b/Source/Doomed/DoomedLoopUnrolling.cs
index d97d56d0..d7ba6025 100644
--- a/Source/Doomed/DoomedLoopUnrolling.cs
+++ b/Source/Doomed/DoomedLoopUnrolling.cs
@@ -99,7 +99,7 @@ namespace VC
             Contract.Requires(tok != null);

             Contract.Ensures(Contract.Result<HavocCmd>() != null);

 

-            VariableSeq varsToHavoc = new VariableSeq();

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

             foreach (Block b in bl)

             {

                 Contract.Assert(b != null);

@@ -109,7 +109,7 @@ namespace VC
                     c.AddAssignedVariables(varsToHavoc);

                 }

             }

-            IdentifierExprSeq havocExprs = new IdentifierExprSeq();

+            List<IdentifierExpr> havocExprs = new List<IdentifierExpr>();

             foreach (Variable v in varsToHavoc)

             {

                 Contract.Assert(v != null);