Fix clone of module export decl (dafny-lang#4329)

Fixes dafny-lang#4328 ### Changes Fix clone method of ModuleExportDecl ### Testing No tests added. Instead, we should run part of the testsuite using the IDE instead of the CLI, since the IDE runs additional code (caching code, which currently uses cloning, which isn't tested well) <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
keyboardDrummer · Sep 15, 2023 · b5a567a · b5a567a
1 parent 3e420f3
commit b5a567a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/Source/DafnyCore/AST/Modules/ModuleExportDecl.cs b/Source/DafnyCore/AST/Modules/ModuleExportDecl.cs
@@ -30,6 +30,7 @@ public ModuleExportDecl(Cloner cloner, ModuleExportDecl original, ModuleDefiniti
     ProvideAll = original.ProvideAll;
     RevealAll = original.RevealAll;
     IsRefining = original.IsRefining;
+    IsDefault = original.IsDefault;
     ThisScope = new VisibilityScope(FullSanitizedName);
   }
 

diff --git a/docs/dev/news/fix.4328 b/docs/dev/news/fix.4328
@@ -0,0 +1 @@
+Fix issue that would prevent the IDE from correctly handling default export sets