src/Pure/goal.ML
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);