src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Oct 30 15:45:24 2018 +0100
+++ b/src/Pure/ROOT.ML	Tue Oct 30 19:14:31 2018 +0100
@@ -48,6 +48,7 @@
 ML_file "General/properties.ML";
 ML_file "General/output.ML";
 ML_file "PIDE/markup.ML";
+ML_file "General/utf8.ML";
 ML_file "General/scan.ML";
 ML_file "General/source.ML";
 ML_file "General/symbol.ML";