# HG changeset patch
# User paulson
# Date 1127234862 -7200
# Node ID 8d7c587c6b3494091d8cc59ab96191e09be890b7
# Parent  ae5bb6001afb94117c3336976f175ea0e201b9f3
fixed recursive-looking declaration

diff -r ae5bb6001afb -r 8d7c587c6b34 src/Pure/General/pretty.ML
--- a/src/Pure/General/pretty.ML	Tue Sep 20 18:43:39 2005 +0200
+++ b/src/Pure/General/pretty.ML	Tue Sep 20 18:47:42 2005 +0200
@@ -251,7 +251,7 @@
 fun output_buffer e = #tx (format ([prune (! depth) e], (Buffer.empty, 0), 0) empty);
 val output = Buffer.content o output_buffer;
 val string_of = Output.raw o output;
-val writeln = writeln o string_of;
+val writeln = Output.writeln o string_of;
 fun writelns [] = () | writelns es = writeln (chunks es);