X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_acic%2Fcic2Xml.mli;h=dcbff3d0fae5fdfaf24b066e37364ff40769ad5c;hb=a7237500e8a2a4237a6ae8ba4b8301f7bbcb6acb;hp=22c5669df8bd2fef1df2b2e773dcbc7e289d048f;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/cic_acic/cic2Xml.mli b/helm/software/components/cic_acic/cic2Xml.mli
index 22c5669df..dcbff3d0f 100644
--- a/helm/software/components/cic_acic/cic2Xml.mli
+++ b/helm/software/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