# HG changeset patch
# User wenzelm
# Date 1481707787 -3600
# Node ID e154ec4e3eacb59c85fd64932b0c89a66f0c8184
# Parent  37074e22e8be4e0596fcf6d5deea165176f1fa81
tuned;

diff -r 37074e22e8be -r e154ec4e3eac src/Pure/Concurrent/multithreading.ML
--- a/src/Pure/Concurrent/multithreading.ML	Tue Dec 13 23:29:54 2016 +0100
+++ b/src/Pure/Concurrent/multithreading.ML	Wed Dec 14 10:29:47 2016 +0100
@@ -61,7 +61,7 @@
 val trace = ref 0;
 
 fun tracing level msg =
-  if level > ! trace then ()
+  if ! trace < level then ()
   else Thread_Attributes.uninterruptible (fn _ => fn () =>
     (TextIO.output (TextIO.stdErr, (">>> " ^ msg () ^ "\n")); TextIO.flushOut TextIO.stdErr)
       handle _ (*sic*) => ()) ();