From 28baf4c999de8673b1dfcf7e79d454809c72444f Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 27 Jan 2020 17:09:12 +0100
Subject: cleanup: Lib.freeze doesn't use its [~marshallable] argument

---
 library/lib.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/lib.mli')

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 *)
-- 
cgit v1.2.3