src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Dec 10 20:00:02 2018 +0100
+++ b/src/Pure/ROOT.ML	Mon Dec 10 20:20:24 2018 +0100
@@ -83,6 +83,7 @@
 ML_file "General/file.ML";
 ML_file "General/long_name.ML";
 ML_file "General/binding.ML";
+ML_file "General/bytes.ML";
 ML_file "General/socket_io.ML";
 ML_file "General/seq.ML";
 ML_file "General/timing.ML";