X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fxml%2FxmlPushParser.ml;h=b809068f54e3130ec48cf617c45b40f30d24d2ad;hb=f34f2623a3133e235331d0c0c1830ec213dd09f1;hp=4f57e124227b398d68fc88e2078be5a9796740a1;hpb=7e6fea0332e132a8cb89c689ba68c5e884c4354c;p=helm.git

diff --git a/matita/components/xml/xmlPushParser.ml b/matita/components/xml/xmlPushParser.ml
index 4f57e1242..b809068f5 100644
--- a/matita/components/xml/xmlPushParser.ml
+++ b/matita/components/xml/xmlPushParser.ml
@@ -94,12 +94,12 @@ let parse expat_parser =
         aux (`Channel ic);
         close_in ic
     | `Gzip_channel ic ->
-        let buf = String.create gzip_bufsize in
+        let buf = Bytes.create gzip_bufsize in
         (try
           while true do
             let bytes = Gzip.input ic buf 0 gzip_bufsize in
             if bytes = 0 then raise End_of_file;
-            parse_fun (String.sub buf 0 bytes)
+            parse_fun (Bytes.to_string (Bytes.sub buf 0 bytes))
           done
         with End_of_file -> final expat_parser)
     | `Gzip_file fname ->