# HG changeset patch
# User haftmann
# Date 1156150964 -7200
# Node ID 8276fd8d19195deb0008bd7be07625fed8dcc4e4
# Parent  1a29e6c3ab042638ea2a5c1cd540a81a85117256
tracing

diff -r 1a29e6c3ab04 -r 8276fd8d1919 src/Pure/Tools/codegen_thingol.ML
--- a/src/Pure/Tools/codegen_thingol.ML	Mon Aug 21 11:02:43 2006 +0200
+++ b/src/Pure/Tools/codegen_thingol.ML	Mon Aug 21 11:02:44 2006 +0200
@@ -116,7 +116,7 @@
 (** auxiliary **)
 
 val debug = ref false;
-fun debug_msg f x = (if !debug then Output.debug (f x) else (); x);
+fun debug_msg f x = (if !debug then Output.tracing (f x) else (); x);
 val soft_exc = ref true;
 
 fun unfoldl dest x =