RESeq: farewell

1 files changed, 3 insertions, 3 deletions

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

       return base.VisitRE((RE)node.Clone());

     }

-    public override RESeq VisitRESeq(RESeq reSeq) {

+    public override List<RE> VisitRESeq(List<RE> reSeq) {

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

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

-      return base.VisitRESeq(new RESeq(reSeq));

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

+      return base.VisitRESeq(new List<RE>(reSeq));

     }

     public override ReturnCmd VisitReturnCmd(ReturnCmd node) {

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