Fixed printing

dafny-lang · Nov 22, 2024 · 03bf928 · 03bf928
1 parent 57efe12
commit 03bf928
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/Source/DafnyCore/AST/Grammar/Printer/Printer.cs b/Source/DafnyCore/AST/Grammar/Printer/Printer.cs
@@ -577,13 +577,13 @@ public void PrintModuleDefinition(CompilationData compilation, ModuleDefinition
       Contract.Requires(module != null);
       Contract.Requires(0 <= indent);
       Type.PushScope(scope);
-      if (module.ModuleKind == ModuleKindEnum.Abstract) {
-        wr.Write("abstract ");
-      }
-      if (module.ModuleKind == ModuleKindEnum.Replaceable) {
-        wr.Write("replaceable ");
-      }
       PrintAttributes(module.Attributes, indent, () => {
+        if (module.ModuleKind == ModuleKindEnum.Abstract) {
+          wr.Write("abstract ");
+        }
+        if (module.ModuleKind == ModuleKindEnum.Replaceable) {
+          wr.Write("replaceable ");
+        }
         wr.Write("module");
       });
       wr.Write(" ");