ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_transformations / cic2Xml.mli

diff --git a/helm/ocaml/cic_transformations/cic2Xml.mli b/helm/ocaml/cic_transformations/cic2Xml.mli
index 47202dd01ce36a358cd6b7e564394da7e2a9e6cd..22c5669df8bd2fef1df2b2e773dcbc7e289d048f 100644 (file)
--- a/helm/ocaml/cic_transformations/cic2Xml.mli
+++ b/helm/ocaml/cic_transformations/cic2Xml.mli
@@ -26,13 +26,13 @@
 exception NotImplemented
 
 val print_term :
-  ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
+  ?ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
   Cic.annterm ->
     Xml.token Stream.t
 
 val print_object :
   UriManager.uri ->
-  ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
+  ?ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
   ask_dtd_to_the_getter:bool ->
   Cic.annobj ->
     Xml.token Stream.t * Xml.token Stream.t option