src/Pure/Tools/simplifier_trace.ML

--- a/src/Pure/Tools/simplifier_trace.ML	Wed Feb 03 20:18:34 2021 +0100
+++ b/src/Pure/Tools/simplifier_trace.ML	Sun Feb 07 12:30:52 2021 +0100
@@ -400,7 +400,7 @@
      trace_apply = simp_apply})
 
 val _ =
-  Isabelle_Process.protocol_command "Simplifier_Trace.reply"
+  Protocol_Command.define "Simplifier_Trace.reply"
     (fn [serial_string, reply] =>
       let
         val serial = Value.parse_int serial_string