src/Pure/System/scala.ML

--- a/src/Pure/System/scala.ML	Wed Feb 03 20:18:34 2021 +0100
+++ b/src/Pure/System/scala.ML	Sun Feb 07 12:30:52 2021 +0100
@@ -28,7 +28,7 @@
   Synchronized.var "Scala.results" (Symtab.empty: string Exn.result Symtab.table);
 
 val _ =
-  Isabelle_Process.protocol_command "Scala.result"
+  Protocol_Command.define "Scala.result"
     (fn [id, tag, res] =>
       let
         val result =