--- a/src/Pure/ROOT.ML Sat Aug 07 22:23:37 2021 +0200
+++ b/src/Pure/ROOT.ML Thu Aug 12 13:13:10 2021 +0200
@@ -81,7 +81,6 @@
ML_file "General/file.ML";
ML_file "General/long_name.ML";
ML_file "General/binding.ML";
-ML_file "General/socket_io.ML";
ML_file "General/seq.ML";
ML_file "General/time.ML";
ML_file "General/timing.ML";
@@ -92,6 +91,7 @@
ML_file "PIDE/byte_message.ML";
ML_file "PIDE/protocol_message.ML";
ML_file "PIDE/document_id.ML";
+ML_file "General/socket_io.ML";
ML_file "General/change_table.ML";
ML_file "General/graph.ML";