--- 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";