src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Jun 20 16:15:07 2022 +0200
+++ b/src/Pure/ROOT.ML	Tue Jun 21 13:14:09 2022 +0200
@@ -79,6 +79,7 @@
 ML_file "General/url.ML";
 ML_file "System/bash.ML";
 ML_file "General/file.ML";
+ML_file "General/bytes.ML";
 ML_file "General/long_name.ML";
 ML_file "General/binding.ML";
 ML_file "General/seq.ML";