--- a/src/Pure/ROOT.ML Tue Oct 30 19:14:31 2018 +0100
+++ b/src/Pure/ROOT.ML Tue Oct 30 19:18:01 2018 +0100
@@ -346,3 +346,4 @@
ML_file_no_debug "Tools/debugger.ML";
ML_file "Tools/named_theorems.ML";
ML_file "Tools/jedit.ML";
+ML_file "Tools/ghc.ML";