changeset 41776 | 3bd83302a3c3 |
parent 41703 | d27950860514 |
child 41819 | 2d84831dc1a0 |
--- a/src/Pure/goal.ML Fri Feb 18 16:07:32 2011 +0100 +++ b/src/Pure/goal.ML Fri Feb 18 16:11:58 2011 +0100 @@ -115,7 +115,7 @@ let val n = m + i; val _ = - Multithreading.tracing 1 (fn () => + Multithreading.tracing 2 (fn () => ("PROOFS " ^ Time.toString (Time.now ()) ^ ": " ^ string_of_int n)); in n end);