foramt

AeneasVerif · Aug 29, 2024 · 4e99686 · 4e99686
1 parent 267bd6b
commit 4e99686
Showing 1 changed file with 21 additions and 2 deletions.
diff --git a/lib/Cleanup1.ml b/lib/Cleanup1.ml
@@ -56,7 +56,18 @@ let remove_assignments =
           List.map
             (fun atom ->
               let name, typ = AtomMap.find atom not_yet_closed in
-              ( { node = { atom; name; mut = true; mark = ref Krml.Mark.default; meta = None; attempt_inline = false }; typ },
+              ( {
+                  node =
+                    {
+                      atom;
+                      name;
+                      mut = true;
+                      mark = ref Krml.Mark.default;
+                      meta = None;
+                      attempt_inline = false;
+                    };
+                  typ;
+                },
                 if typ = TUnit then
                   Krml.Helpers.eunit
                 else
@@ -153,7 +164,15 @@ let remove_assignments =
               let name, typ = AtomMap.find atom not_yet_closed in
               let b =
                 {
-                  node = { atom; name; mut = true; mark = ref Krml.Mark.default; meta = None; attempt_inline = false };
+                  node =
+                    {
+                      atom;
+                      name;
+                      mut = true;
+                      mark = ref Krml.Mark.default;
+                      meta = None;
+                      attempt_inline = false;
+                    };
                   typ;
                 }
               in