diff -r caddfe4949a8 -r 10b6add456d0 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Nov 24 14:11:01 2023 +0100
+++ b/src/Pure/ROOT.ML	Fri Nov 24 15:58:24 2023 +0100
@@ -100,7 +100,6 @@
 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/graph.ML";
 
@@ -301,6 +300,7 @@
 ML_file "Proof/extraction.ML";
 
 (*Isabelle system*)
+ML_file "General/socket_io.ML";
 ML_file "PIDE/protocol_command.ML";
 ML_file "System/java.ML";
 ML_file "System/scala.ML";