Fix for the duplicator; can't use Clone

1 files changed, 3 insertions, 1 deletions

diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs
index b275288a..9c6aac7a 100644
--- a/Source/Core/Duplicator.cs
+++ b/Source/Core/Duplicator.cs
@@ -291,7 +291,9 @@ namespace Microsoft.Boogie {
     public override Program VisitProgram(Program node) {

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

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

-      return base.VisitProgram((Program)node.Clone());

+      var cloned = new Program();

+      cloned.AddTopLevelDeclarations(node.TopLevelDeclarations);

+      return base.VisitProgram(cloned);

     }

     public override QKeyValue VisitQKeyValue(QKeyValue node) {

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