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

---
 vernac/metasyntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'vernac')

diff --git a/vernac/metasyntax.ml b/vernac/metasyntax.ml
index 222e9eb825..05e23164b1 100644
--- a/vernac/metasyntax.ml
+++ b/vernac/metasyntax.ml
@@ -1346,7 +1346,7 @@ let inNotation : notation_obj -> obj =
 (**********************************************************************)
 
 let with_lib_stk_protection f x =
-  let fs = Lib.freeze ~marshallable:false in
+  let fs = Lib.freeze () in
   try let a = f x in Lib.unfreeze fs; a
   with reraise ->
     let reraise = CErrors.push reraise in
-- 
cgit v1.2.3