src/Pure/Concurrent/synchronized.ML

--- a/src/Pure/Concurrent/synchronized.ML	Tue Nov 25 17:30:05 2014 +0100
+++ b/src/Pure/Concurrent/synchronized.ML	Wed Nov 26 11:43:51 2014 +0100
@@ -39,7 +39,7 @@
 (* synchronized access *)
 
 fun timed_access (Var {name, lock, cond, var}) time_limit f =
-  Simple_Thread.synchronized name lock (fn () =>
+  Multithreading.synchronized name lock (fn () =>
     let
       fun try_change () =
         let val x = ! var in