src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Nov 28 20:18:29 2020 +0100
+++ b/src/Pure/ROOT.ML	Sat Nov 28 21:56:24 2020 +0100
@@ -326,6 +326,7 @@
 ML_file "System/isabelle_process.ML";
 ML_file "System/scala.ML";
 ML_file "System/scala_compiler.ML";
+ML_file "System/isabelle_tool.ML";
 ML_file "Thy/bibtex.ML";
 ML_file "PIDE/protocol.ML";
 ML_file "General/output_primitives_virtual.ML";