src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Nov 03 11:24:42 2015 +0100
+++ b/src/Pure/ROOT.ML	Tue Nov 03 13:54:34 2015 +0100
@@ -109,7 +109,7 @@
 then use "ML/ml_statistics_polyml-5.5.0.ML"
 else use "ML/ml_statistics_dummy.ML";
 
-use "Concurrent/simple_thread.ML";
+use "Concurrent/standard_thread.ML";
 
 use "Concurrent/single_assignment.ML";
 if Multithreading.available then ()