From 69f11d7d3f95e1281542ec0b792cc5afd3eccf78 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 21 Dec 2018 11:39:55 +0100
Subject: Fix shallow flag in vernac state

Was incorrect due to a leftover in #9220.
---
 vernac/vernacstate.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/vernac/vernacstate.ml b/vernac/vernacstate.ml
index b40bccf27e..61540024ef 100644
--- a/vernac/vernacstate.ml
+++ b/vernac/vernacstate.ml
@@ -36,7 +36,8 @@ let do_if_not_cached rf f v =
 let freeze_interp_state ~marshallable =
   { system = update_cache s_cache (States.freeze ~marshallable);
     proof  = update_cache s_proof (Proof_global.freeze ~marshallable);
-    shallow = marshallable }
+    shallow = false;
+  }
 
 let unfreeze_interp_state { system; proof } =
   do_if_not_cached s_cache States.unfreeze system;
-- 
cgit v1.2.3