All ...Seq classes now gone

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/VCGeneration/OrderingAxioms.cs b/Source/VCGeneration/OrderingAxioms.cs
index 1e7615cb..b8a98def 100644
--- a/Source/VCGeneration/OrderingAxioms.cs
+++ b/Source/VCGeneration/OrderingAxioms.cs
@@ -95,7 +95,7 @@ namespace Microsoft.Boogie {
         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);

-        res = new Function(Token.NoToken, "oneStep", new TypeVariableSeq(), args, result);

+        res = new Function(Token.NoToken, "oneStep", new List<TypeVariable>(), args, result);

         OneStepFuns.Add(t, res);

       }

       return cce.NonNull(res);