diff -r 0953dec1fcb0 -r b92565f98206 src/Pure/ROOT0.ML
--- a/src/Pure/ROOT0.ML	Sat Apr 09 14:40:00 2016 +0200
+++ b/src/Pure/ROOT0.ML	Sat Apr 09 14:52:10 2016 +0200
@@ -4,5 +4,6 @@
 
 ML_file "Concurrent/thread_attributes.ML";
 ML_file "Concurrent/thread_data.ML";
+ML_file "Concurrent/thread_position.ML";
 
 ML_file "ML/ml_recursive.ML";