diff options
| author | Gaëtan Gilbert | 2020-01-27 17:09:12 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-01-27 17:09:12 +0100 |
| commit | 28baf4c999de8673b1dfcf7e79d454809c72444f (patch) | |
| tree | ee39466dc207b1765d7eac38e77a8c1d334d6f0d /library | |
| parent | 506b35913103c17e4d27663aa0f977452d5815b0 (diff) | |
cleanup: Lib.freeze doesn't use its [~marshallable] argument
Diffstat (limited to 'library')
| -rw-r--r-- | library/lib.ml | 2 | ||||
| -rw-r--r-- | library/lib.mli | 2 | ||||
| -rw-r--r-- | library/states.ml | 2 |
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; |