src/Pure/meta_simplifier.ML
changeset 12262 11ff5f47df6e
parent 12155 13c5469b4bb3
child 12285 6490fc7b3eed
--- a/src/Pure/meta_simplifier.ML	Wed Nov 21 00:35:13 2001 +0100
+++ b/src/Pure/meta_simplifier.ML	Wed Nov 21 00:36:51 2001 +0100
@@ -64,7 +64,7 @@
 
 val simp_depth = ref 0;
 
-fun println a = writeln(replicate_string (!simp_depth) " " ^ a)
+fun println a = tracing (replicate_string (! simp_depth) " " ^ a);
 
 fun prnt warn a = if warn then warning a else println a;