src/Pure/PIDE/xml.ML
changeset 60982 67e389f67073
parent 58854 b979c781c2db
child 61476 1884c40f1539
--- a/src/Pure/PIDE/xml.ML	Wed Aug 19 22:40:41 2015 +0200
+++ b/src/Pure/PIDE/xml.ML	Thu Aug 20 13:41:53 2015 +0200
@@ -44,7 +44,7 @@
   val output_markup: Markup.T -> Output.output * Output.output
   val string_of: tree -> string
   val pretty: int -> tree -> Pretty.T
-  val output: tree -> TextIO.outstream -> unit
+  val output: tree -> BinIO.outstream -> unit
   val parse_comments: string list -> unit * string list
   val parse_string : string -> string option
   val parse_element: string list -> tree * string list