Merge PR #11459: cleanup: Lib.freeze doesn't use its [~marshallable] argument

Reviewed-by: ejgallego
Reviewed-by: gares
Reviewed-by: maximedenes

3 files changed, 3 insertions, 3 deletions

diff --git a/library/lib.ml b/library/lib.ml
index 9cce9b92ad..7f96adeecf 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -500,7 +500,7 @@ let close_section () =
 
 type frozen = lib_state
 
-let freeze ~marshallable = !lib_state
+let freeze () = !lib_state
 
 let unfreeze st = lib_state := st
 
diff --git a/library/lib.mli b/library/lib.mli
index 0d03046dc2..1fe72389f6 100644
--- a/library/lib.mli
+++ b/library/lib.mli
@@ -151,7 +151,7 @@ val close_section : unit -> unit
 
 type frozen
 
-val freeze : marshallable:bool -> frozen
+val freeze : unit -> frozen
 val unfreeze : frozen -> unit
 
 (** Keep only the libobject structure, not the objects themselves *)
diff --git a/library/states.ml b/library/states.ml
index 0be153d96a..90303a2a5c 100644
--- a/library/states.ml
+++ b/library/states.ml
@@ -18,7 +18,7 @@ let replace_summary (lib,_) st = lib, st
 let replace_lib (_,st) lib = lib, st
 
 let freeze ~marshallable =
-  (Lib.freeze ~marshallable, Summary.freeze_summaries ~marshallable)
+  (Lib.freeze (), Summary.freeze_summaries ~marshallable)
 
 let unfreeze (fl,fs) =
   Lib.unfreeze fl;