X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fxml%2Fxml.ml;h=c6bbd66b5591bed13ac946b986019ce5d312a414;hb=3220eee6c3dd2968727c5c595d6ca78e89291b5f;hp=0e3a4bcc24a91fbb447869ce8bdbebe64593e076;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/xml/xml.ml b/matita/components/xml/xml.ml
index 0e3a4bcc2..c6bbd66b5 100644
--- a/matita/components/xml/xml.ml
+++ b/matita/components/xml/xml.ml
@@ -92,7 +92,7 @@ let pp_gen f strm =
       pp_r m s
   | [< >] -> ()
  and print_spaces m =
-  for i = 1 to m do f "  " done
+  for _i = 1 to m do f "  " done
  in
  pp_r 0 strm
 ;;
@@ -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 *)