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