src/Pure/PIDE/byte_message.ML

 
 (* output operations *)
 
 val write = List.app o Bytes.write_stream;
 
-fun write_yxml stream tree = YXML.traverse (fn s => fn () => File.output stream s) tree ();
+fun write_yxml stream tree =
+  YXML.traverse (fn s => fn () => File_Stream.output stream s) tree ();
 
 fun flush stream = ignore (try BinIO.flushOut stream);
 
 fun write_line stream bs = (write stream [bs, Bytes.newline]; flush stream);