src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Apr 04 21:38:20 2020 +0200
+++ b/src/Pure/ROOT.ML	Sun Apr 05 13:05:40 2020 +0200
@@ -117,7 +117,7 @@
 ML_file "ML/ml_statistics.ML";
 
 ML_file "Concurrent/thread_data_virtual.ML";
-ML_file "Concurrent/standard_thread.ML";
+ML_file "Concurrent/isabelle_thread.ML";
 ML_file "Concurrent/single_assignment.ML";
 
 ML_file "Concurrent/par_exn.ML";