changeset 66166 | c88d1c36c9c3 |
parent 62923 | 3a122e1e352a |
child 66167 | 1bd268ab885c |
--- a/src/Pure/Concurrent/lazy.ML Wed Jun 21 22:57:40 2017 +0200 +++ b/src/Pure/Concurrent/lazy.ML Thu Jun 22 14:27:13 2017 +0200 @@ -66,7 +66,7 @@ val (expr, x) = Synchronized.change_result var (fn Expr e => - let val x = Future.promise I + let val x = Future.promise_name "lazy" I in ((SOME e, x), Result x) end | Result x => ((NONE, x), Result x)); in