X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fcic2Xml.mli;h=0891d4996cc02e98c482db74168832b494ef2b6f;hb=a772e377c1ca7c43c3e1e25eb47479fc3c5ceb9e;hp=0ce8cb330c01f13eb0a58223970bfd5d52e81ef4;hpb=4552f835b71ca9529bf5b07d0dd2b1c699ecf928;p=helm.git

diff --git a/helm/gTopLevel/cic2Xml.mli b/helm/gTopLevel/cic2Xml.mli
index 0ce8cb330..0891d4996 100644
--- a/helm/gTopLevel/cic2Xml.mli
+++ b/helm/gTopLevel/cic2Xml.mli
@@ -40,4 +40,5 @@ 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