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

---
 interp/notation.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'interp')

diff --git a/interp/notation.ml b/interp/notation.ml
index c866929234..b0854de4a3 100644
--- a/interp/notation.ml
+++ b/interp/notation.ml
@@ -1902,7 +1902,7 @@ let pr_visibility prglob = function
 (**********************************************************************)
 (* Synchronisation with reset *)
 
-let freeze _ =
+let freeze ~marshallable =
  (!scope_map, !scope_stack, !uninterp_scope_stack, !arguments_scope,
   !delimiters_map, !notations_key_table, !scope_class_map,
   !prim_token_interp_infos, !prim_token_uninterp_infos,
@@ -1939,7 +1939,7 @@ let _ =
       Summary.init_function = init }
 
 let with_notation_protection f x =
-  let fs = freeze false in
+  let fs = freeze ~marshallable:false in
   try let a = f x in unfreeze fs; a
   with reraise ->
     let reraise = CErrors.push reraise in
-- 
cgit v1.2.3