src/Pure/Tools/print_operation.ML

--- a/src/Pure/Tools/print_operation.ML	Wed Feb 03 20:18:34 2021 +0100
+++ b/src/Pure/Tools/print_operation.ML	Sun Feb 07 12:30:52 2021 +0100
@@ -27,7 +27,7 @@
       |> map (fn (x, (y, _)) => (x, y)) |> rev
       |> let open XML.Encode in list (pair string string) end);
 
-val _ = Isabelle_Process.protocol_command "print_operations" (fn [] => report ());
+val _ = Protocol_Command.define "print_operations" (fn [] => report ());
 
 in