1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Tue Sep 28 13:30:29 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Fri Oct 01 10:23:38 2010 +0200
     1.3 @@ -802,11 +802,11 @@
     1.4    | scan id ((Ptyp ((i,_,[])))::ps) =      [id@[i]]    @(scan id ps)
     1.5    | scan id ((Ptyp ((i,_,pl)))::ps) =(scan (id@[i]) pl)@(scan id ps);
     1.6  
     1.7 -fun show_ptyps () = (tracing o format_pblIDl o (scan [])) (!ptyps);
     1.8 +fun show_ptyps () = (writeln o format_pblIDl o (scan [])) (!ptyps);
     1.9  (* ptyps:=[];
    1.10     show_ptyps();
    1.11     *)
    1.12 -fun show_mets () = (tracing o format_pblIDl o (scan [])) (!mets);
    1.13 +fun show_mets () = (writeln o format_pblIDl o (scan [])) (!mets);
    1.14  
    1.15  
    1.16