changeset 62891 | 7a11ea5c9626 |
parent 62823 | 751bcf0473a7 |
child 62923 | 3a122e1e352a |
--- a/src/Pure/Concurrent/lazy.ML Wed Apr 06 16:51:52 2016 +0200 +++ b/src/Pure/Concurrent/lazy.ML Wed Apr 06 17:16:30 2016 +0200 @@ -61,7 +61,7 @@ (case peek (Lazy var) of SOME res => res | NONE => - uninterruptible (fn restore_attributes => fn () => + Multithreading.uninterruptible (fn restore_attributes => fn () => let val (expr, x) = Synchronized.change_result var