src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Sep 20 17:40:09 2023 +0200
+++ b/src/Pure/ROOT.ML	Thu Sep 21 17:04:56 2023 +0200
@@ -121,8 +121,8 @@
 ML_file_no_debug "ML/exn_debugger.ML";
 
 ML_file "Concurrent/thread_data_virtual.ML";
+ML_file "Concurrent/single_assignment.ML";
 ML_file "Concurrent/isabelle_thread.ML";
-ML_file "Concurrent/single_assignment.ML";
 
 ML_file "Concurrent/par_exn.ML";
 ML_file "Concurrent/task_queue.ML";