Started to remove ...Seq classes

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/VCGeneration/OrderingAxioms.cs b/Source/VCGeneration/OrderingAxioms.cs
index 4fbc80da..1e7615cb 100644
--- a/Source/VCGeneration/OrderingAxioms.cs
+++ b/Source/VCGeneration/OrderingAxioms.cs
@@ -91,7 +91,7 @@ namespace Microsoft.Boogie {
 

       Function res;

       if (!OneStepFuns.TryGetValue(t, out res)) {

-        VariableSeq args = new VariableSeq();

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

         args.Add(new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "arg0", t), true));

         args.Add(new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "arg1", t), true));

         Formal result = new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "res", t), false);