Merge branch 'master' into protz_numbered_enums

FStarLang · Dec 20, 2024 · 032fbda · 032fbda
2 parents fd20524 + e0fe023
commit 032fbda
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/DataTypes.ml b/lib/DataTypes.ml
@@ -1282,6 +1282,10 @@ let remove_empty_structs files =
         LidSet.empty
   end)#visit_files () files in
 
+  let files = List.map (fun (f, decls) ->
+    f, List.filter (fun d -> not (LidSet.mem (lid_of_decl d) empty_structs)) decls
+  ) files in
+
   (object
 
     inherit [_] map as super