src/Pure/System/scala.ML

--- a/src/Pure/System/scala.ML	Sat Aug 15 13:36:42 2020 +0200
+++ b/src/Pure/System/scala.ML	Sat Aug 15 13:37:34 2020 +0200
@@ -40,8 +40,6 @@
           | _ => raise Fail ("Bad tag: " ^ tag));
       in Synchronized.change results (Symtab.map_entry id (K result)) end);
 
-val _ = Session.protocol_handler "isabelle.Scala";
-
 in
 
 fun function name arg =