src/Pure/raw_simplifier.ML

--- a/src/Pure/raw_simplifier.ML	Thu Dec 19 15:22:35 2019 +0100
+++ b/src/Pure/raw_simplifier.ML	Thu Dec 19 15:29:48 2019 +0100
@@ -1350,6 +1350,7 @@
 
     val ctxt =
       raw_ctxt
+      |> Variable.set_body true
       |> Context_Position.set_visible false
       |> inc_simp_depth
       |> (fn ctxt => trace_invoke {depth = simp_depth ctxt, term = Thm.term_of ct} ctxt);