src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Wed Feb 03 20:18:34 2021 +0100
+++ b/src/Pure/Tools/build.ML	Sun Feb 07 12:30:52 2021 +0100
@@ -50,7 +50,7 @@
 (* build session *)
 
 val _ =
-  Isabelle_Process.protocol_command "build_session"
+  Protocol_Command.define "build_session"
     (fn [resources_yxml, args_yxml] =>
         let
           val _ = Resources.init_session_yxml resources_yxml;