Dafny: support opening modules into the local scope

1 files changed, 2 insertions, 2 deletions

diff --git a/Dafny/Cloner.cs b/Dafny/Cloner.cs
index 506df4c6..2f254135 100644
--- a/Dafny/Cloner.cs
+++ b/Dafny/Cloner.cs
@@ -63,13 +63,13 @@ namespace Microsoft.Dafny
           return l;

         } else if (d is AliasModuleDecl) {

           var a = (AliasModuleDecl)d;

-          var alias = new AliasModuleDecl(a.Path, a.tok, m);

+          var alias = new AliasModuleDecl(a.Path, a.tok, m, a.Opened);

           alias.ModuleReference = a.ModuleReference;

           alias.Signature = a.Signature;

           return alias;

         } else if (d is AbstractModuleDecl) {

           var a = (AbstractModuleDecl)d;

-          var abs = new AbstractModuleDecl(a.Path, a.tok, m, a.CompilePath);

+          var abs = new AbstractModuleDecl(a.Path, a.tok, m, a.CompilePath, a.Opened);

           abs.Signature = a.Signature;

           abs.OriginalSignature = a.OriginalSignature;

           return abs;