src/Pure/Tools/simplifier_trace.ML

--- a/src/Pure/Tools/simplifier_trace.ML	Tue Feb 27 10:49:48 2024 +0100
+++ b/src/Pure/Tools/simplifier_trace.ML	Tue Feb 27 11:59:47 2024 +0100
@@ -396,7 +396,8 @@
 val _ = Theory.setup
   (Simplifier.set_trace_ops
     {trace_invoke = fn {depth, term} => recurse "Simplifier invoked" depth term,
-     trace_apply = simp_apply})
+     trace_apply = simp_apply,
+     trace_simproc = fn _ => fn ctxt => fn cont => cont ctxt})
 
 val _ =
   Protocol_Command.define "Simplifier_Trace.reply"