| changeset 59054 | 61b723761dff |
| parent 57350 | fc4d65afdf13 |
| child 59180 | c0fa3b3bdabd |
--- a/src/Pure/Concurrent/future.ML Tue Nov 25 17:30:05 2014 +0100 +++ b/src/Pure/Concurrent/future.ML Wed Nov 26 11:43:51 2014 +0100 @@ -114,7 +114,7 @@ val lock = Mutex.mutex (); in -fun SYNCHRONIZED name = Simple_Thread.synchronized name lock; +fun SYNCHRONIZED name = Multithreading.synchronized name lock; fun wait cond = (*requires SYNCHRONIZED*) Multithreading.sync_wait NONE NONE cond lock;