librarySync - we do not generate the object attributes when we publish the xml

[helm.git] / components / cic_acic / cic2Xml.mli

diff --git a/components/cic_acic/cic2Xml.mli b/components/cic_acic/cic2Xml.mli
index 22c5669df8bd2fef1df2b2e773dcbc7e289d048f..dcbff3d0fae5fdfaf24b066e37364ff40769ad5c 100644 (file)
--- a/components/cic_acic/cic2Xml.mli
+++ b/components/cic_acic/cic2Xml.mli
@@ -33,6 +33,7 @@ val print_term :
 val print_object :
   UriManager.uri ->
   ?ids_to_inner_sorts: (string, Cic2acic.sort_kind) Hashtbl.t ->
+  ?generate_attributes:bool ->
   ask_dtd_to_the_getter:bool ->
   Cic.annobj ->
     Xml.token Stream.t * Xml.token Stream.t option