Started to remove ...Seq classes

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs
index ce46f20b..170b5212 100644
--- a/Source/Houdini/Checker.cs
+++ b/Source/Houdini/Checker.cs
@@ -163,7 +163,7 @@ namespace Microsoft.Boogie.Houdini {
         conjecture = exprGen.Implies(eqExpr, conjecture);

       }

 

-      Macro macro = new Macro(Token.NoToken, descriptiveName, new VariableSeq(), new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "", Type.Bool), false));

+      Macro macro = new Macro(Token.NoToken, descriptiveName, new List<Variable>(), new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "", Type.Bool), false));

       proverInterface.DefineMacro(macro, conjecture);

       conjecture = exprGen.Function(macro);