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

---
 plugins/funind/indfun_common.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/funind/indfun_common.ml b/plugins/funind/indfun_common.ml
index 5d0d17ee6b..f9938c0356 100644
--- a/plugins/funind/indfun_common.ml
+++ b/plugins/funind/indfun_common.ml
@@ -492,7 +492,7 @@ type tcc_lemma_value =
 
 (* We only "purify" on exceptions. XXX: What is this doing here? *)
 let funind_purify f x =
-  let st = Vernacstate.freeze_interp_state `No in
+  let st = Vernacstate.freeze_interp_state ~marshallable:false in
   try f x
   with e ->
     let e = CErrors.push e in
-- 
cgit v1.2.3