--- a/src/Pure/goal.ML Fri Jan 18 00:18:11 2013 +0100
+++ b/src/Pure/goal.ML Fri Jan 18 16:20:09 2013 +0100
@@ -116,9 +116,7 @@
Synchronized.change forked_proofs (fn (m, groups, tab) =>
let
val n = m + i;
- val _ =
- Multithreading.tracing 2 (fn () =>
- ("PROOFS " ^ Time.toString (Time.now ()) ^ ": " ^ string_of_int n));
+ val _ = Future.forked_proofs := n;
in (n, groups, tab) end);
fun register_forked id future =
@@ -176,7 +174,7 @@
fun reset_futures () =
Synchronized.change_result forked_proofs (fn (m, groups, tab) =>
- (groups, (0, [], Inttab.empty)));
+ (Future.forked_proofs := 0; (groups, (0, [], Inttab.empty))));
end;