| changeset 38236 | d8c7be27e01d |
| parent 38218 | 1408f753bd75 |
| child 38875 | c7a66b584147 |
--- a/src/Pure/goal.ML Sun Aug 08 14:22:54 2010 +0200 +++ b/src/Pure/goal.ML Sun Aug 08 19:36:31 2010 +0200 @@ -103,7 +103,7 @@ (* parallel proofs *) -fun fork e = Future.fork_pri ~1 (fn () => Future.report e); +fun fork e = Future.fork_pri ~1 (fn () => Future.status e); val parallel_proofs = Unsynchronized.ref 1;