src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Mar 05 13:57:25 2016 +0100
+++ b/src/Pure/ROOT.ML	Sat Mar 05 17:01:45 2016 +0100
@@ -203,7 +203,7 @@
 use "Concurrent/task_queue.ML";
 use "Concurrent/future.ML";
 use "Concurrent/event_timer.ML";
-use "Concurrent/time_limit.ML";
+use "Concurrent/timeout.ML";
 use "Concurrent/lazy.ML";
 use "Concurrent/par_list.ML";