--- a/src/Pure/ROOT.ML Mon Feb 22 13:29:55 2021 +0100
+++ b/src/Pure/ROOT.ML Mon Feb 22 14:48:03 2021 +0100
@@ -294,6 +294,7 @@
(*Isabelle system*)
ML_file "PIDE/protocol_command.ML";
ML_file "System/scala.ML";
+ML_file "System/process_result.ML";
ML_file "System/isabelle_system.ML";