Merge pull request #68 from AeneasVerif/protz_fix_upstream

Protz fix upstream
AeneasVerif · Aug 29, 2024 · 0a1b4e9 · 0a1b4e9
2 parents 6b89c70 + 67e4bb6
commit 0a1b4e9
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 17 deletions.
diff --git a/flake.lock b/flake.lock
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 }; 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 };
+                  node =
+                    {
+                      atom;
+                      name;
+                      mut = true;
+                      mark = ref Krml.Mark.default;
+                      meta = None;
+                      attempt_inline = false;
+                    };
                   typ;
                 }
               in