fixed recursive-looking declaration
authorpaulson
Tue Sep 20 18:47:42 2005 +0200 (2005-09-20)
changeset 175268d7c587c6b34
parent 17525 ae5bb6001afb
child 17527 5c25f27da4ca
fixed recursive-looking declaration
src/Pure/General/pretty.ML
     1.1 --- a/src/Pure/General/pretty.ML	Tue Sep 20 18:43:39 2005 +0200
     1.2 +++ b/src/Pure/General/pretty.ML	Tue Sep 20 18:47:42 2005 +0200
     1.3 @@ -251,7 +251,7 @@
     1.4  fun output_buffer e = #tx (format ([prune (! depth) e], (Buffer.empty, 0), 0) empty);
     1.5  val output = Buffer.content o output_buffer;
     1.6  val string_of = Output.raw o output;
     1.7 -val writeln = writeln o string_of;
     1.8 +val writeln = Output.writeln o string_of;
     1.9  fun writelns [] = () | writelns es = writeln (chunks es);
    1.10  
    1.11