X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fcic2Xml.mli;h=0891d4996cc02e98c482db74168832b494ef2b6f;hb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;hp=62a423f58fbfac1c052929fc42d28fb1b6c418a8;hpb=2dc0733271cd251aaa3edaece8a883fe691775ab;p=helm.git

diff --git a/helm/gTopLevel/cic2Xml.mli b/helm/gTopLevel/cic2Xml.mli
index 62a423f58..0891d4996 100644
--- a/helm/gTopLevel/cic2Xml.mli
+++ b/helm/gTopLevel/cic2Xml.mli
@@ -27,17 +27,18 @@ exception ImpossiblePossible
 exception NotImplemented
 
 val print_term :
-  UriManager.uri ->
   ids_to_inner_sorts: (string, string) Hashtbl.t ->
   Cic.annterm -> Xml.token Stream.t
 
 val print_object :
   UriManager.uri ->
   ids_to_inner_sorts: (string, string) Hashtbl.t ->
-  Cic.annobj -> Xml.token Stream.t
+  ask_dtd_to_the_getter:bool ->
+  Cic.annobj -> Xml.token Stream.t * Xml.token Stream.t option
 
 val print_inner_types :
   UriManager.uri ->
   ids_to_inner_sorts: (string, string) Hashtbl.t ->
   ids_to_inner_types: (string, Cic2acic.anntypes) Hashtbl.t ->
+  ask_dtd_to_the_getter:bool ->
   Xml.token Stream.t