X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicParser.mli;h=9472b4c54606bd35a67c71c0b9766d73e8dd1fa1;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=33c5b4b198835413dc1e21ff53b1ca00206af983;hpb=58bc0455c51116f049a7135dfed6e235c271f0d2;p=helm.git

diff --git a/helm/ocaml/cic/cicParser.mli b/helm/ocaml/cic/cicParser.mli
index 33c5b4b19..9472b4c54 100644
--- a/helm/ocaml/cic/cicParser.mli
+++ b/helm/ocaml/cic/cicParser.mli
@@ -34,11 +34,13 @@ exception Parser_failure of string
   (* given the filename of an xml file of a cic object, it returns
    * its internal annotated representation. In the case of constants (whose
    * type is splitted from the body), a second xml file (for the body) must be
-   * provided. *)
+   * provided.
+   * Both files are assumed to be gzipped. *)
 val annobj_of_xml: UriManager.uri -> string -> string option -> Cic.annobj
 
   (* given the filename of an xml file of a cic object, it returns its internal
    * logical representation. In the case of constants (whose type is splitted
-   * from the body), a second xml file (for the body) must be provided. *)
+   * from the body), a second xml file (for the body) must be provided.
+   * Both files are assumed to be gzipped. *)
 val obj_of_xml : UriManager.uri -> string -> string option -> Cic.obj