make use of gzipped type and body

[helm.git] / helm / ocaml / cic / cicPushParser.ml

diff --git a/helm/ocaml/cic/cicPushParser.ml b/helm/ocaml/cic/cicPushParser.ml
index 31ded7ef22d74efab484affc82cd92f7dde82daf..4365184bb9858b90133f89df40e696ae14f29942 100644 (file)
--- a/helm/ocaml/cic/cicPushParser.ml
+++ b/helm/ocaml/cic/cicPushParser.ml
@@ -639,7 +639,7 @@ let parse uri filename =
   let xml_parser = P.create_parser callbacks in
   ctxt.xml_parser <- Some xml_parser;
   try
-    P.parse xml_parser (`File filename);
+    P.parse xml_parser (`Gzip_file filename);
 (*    debug_print (string_of_stack stack);*)
     List.hd ctxt.stack
   with