From e20a12d92c7cc7c40ee0ac0b6569b0ee5e0e0b0f Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 29 Nov 2018 15:37:26 +0100
Subject: Move shallow state logic to the function preparing state for workers

---
 library/lib.mli | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'library/lib.mli')

diff --git a/library/lib.mli b/library/lib.mli
index d1b4977dd5..30569197bc 100644
--- a/library/lib.mli
+++ b/library/lib.mli
@@ -148,9 +148,12 @@ val close_section : unit -> unit
 
 type frozen
 
-val freeze : marshallable:Summary.marshallable -> frozen
+val freeze : marshallable:bool -> frozen
 val unfreeze : frozen -> unit
 
+(** Keep only the libobject structure, not the objects themselves *)
+val drop_objects : frozen -> frozen
+
 val init : unit -> unit
 
 (** {6 Section management for discharge } *)
-- 
cgit v1.2.3