ocaml 3.09 transition

[helm.git] / helm / ocaml / cic / cicParser.mli

diff --git a/helm/ocaml/cic/cicParser.mli b/helm/ocaml/cic/cicParser.mli
index 33c5b4b198835413dc1e21ff53b1ca00206af983..9472b4c54606bd35a67c71c0b9766d73e8dd1fa1 100644 (file)
--- 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