| 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;