--- a/src/Pure/ROOT.ML Wed Apr 06 16:33:33 2016 +0200
+++ b/src/Pure/ROOT.ML Wed Apr 06 16:51:52 2016 +0200
@@ -12,7 +12,6 @@
use "General/exn.ML";
use "Concurrent/multithreading.ML";
-use "Concurrent/thread_data.ML";
use "Concurrent/unsynchronized.ML";
use "ML/ml_heap.ML";