Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tracing
authorhaftmann
Mon, 21 Aug 2006 11:02:44 +0200
changeset 20405 8276fd8d1919
parent 20404 1a29e6c3ab04
child 20406 f0a5421efb0b
tracing
src/Pure/Tools/codegen_thingol.ML file | annotate | diff | comparison | revisions 
--- 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 =
isabelle