ExprSeq: farewell

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs
index 2d220a35..1d221bb7 100644
--- a/Source/Core/Duplicator.cs
+++ b/Source/Core/Duplicator.cs
@@ -159,10 +159,10 @@ namespace Microsoft.Boogie {
       Contract.Ensures(Contract.Result<Expr>() != null);

       return base.VisitExpr((Expr)node.Clone());

     }

-    public override ExprSeq VisitExprSeq(ExprSeq list) {

+    public override List<Expr> VisitExprSeq(List<Expr> list) {

       //Contract.Requires(list != null);

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

-      return base.VisitExprSeq(new ExprSeq(list));

+      Contract.Ensures(Contract.Result<List<Expr>>() != null);

+      return base.VisitExprSeq(new List<Expr>(list));

     }

     public override ForallExpr VisitForallExpr(ForallExpr node) {

       //Contract.Requires(node != null);