src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Feb 03 20:18:34 2021 +0100
+++ b/src/Pure/ROOT.ML	Sun Feb 07 12:30:52 2021 +0100
@@ -292,6 +292,7 @@
 ML_file "Proof/extraction.ML";
 
 (*Isabelle system*)
+ML_file "PIDE/protocol_command.ML";
 ML_file "System/bash.ML";
 ML_file "System/isabelle_system.ML";
 
@@ -354,4 +355,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML"
-