src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sun Feb 07 12:55:41 2021 +0100
+++ b/src/Pure/ROOT.ML	Sun Feb 07 15:32:57 2021 +0100
@@ -294,6 +294,7 @@
 (*Isabelle system*)
 ML_file "PIDE/protocol_command.ML";
 ML_file "System/scala.ML";
+ML_file "System/kill.ML";
 ML_file "System/bash.ML";
 ML_file "System/isabelle_system.ML";