src/Pure/ROOT0.ML

--- a/src/Pure/ROOT0.ML	Thu Apr 07 15:32:47 2016 +0200
+++ b/src/Pure/ROOT0.ML	Thu Apr 07 16:53:43 2016 +0200
@@ -1,3 +1,3 @@
 (*** Isabelle/Pure bootstrap: initial setup ***)
 
-use "Concurrent/thread_data.ML";
+ML_file "Concurrent/thread_data.ML";