On-going porting to lablgtk3

[helm.git] / matita / components / xml / xml.ml

diff --git a/matita/components/xml/xml.ml b/matita/components/xml/xml.ml
index 0e3a4bcc24a91fbb447869ce8bdbebe64593e076..9696fa4bc84102cb953792f8ee6521747805d1ed 100644 (file)
--- a/matita/components/xml/xml.ml
+++ b/matita/components/xml/xml.ml
@@ -104,7 +104,7 @@ let pp_to_outchan strm oc =
 ;;
 
 let pp_to_gzipchan strm oc =
-  pp_gen (fun s -> Gzip.output oc s 0 (String.length s)) strm
+  pp_gen (fun s -> Gzip.output oc (Bytes.of_string s) 0 (String.length s)) strm
 ;;
 
 (** pretty printer to string *)