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);