--- 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