Interface improvements: the window to disambiguate uris is now reasonable.

[helm.git] / helm / gTopLevel / cic2Xml.mli

diff --git a/helm/gTopLevel/cic2Xml.mli b/helm/gTopLevel/cic2Xml.mli
index 62a423f58fbfac1c052929fc42d28fb1b6c418a8..52a6f77ebf965e3e6766e6ea11da64411a148290 100644 (file)
--- a/helm/gTopLevel/cic2Xml.mli
+++ b/helm/gTopLevel/cic2Xml.mli
@@ -27,14 +27,13 @@ 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
+  Cic.annobj -> Xml.token Stream.t * Xml.token Stream.t option
 
 val print_inner_types :
   UriManager.uri ->