X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotation2Xml.mli;h=69faf6e6030f24249bd990ccd483333eccfd77ac;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=ba1b406b48641db8b69448729649022826f69b7b;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicAnnotation2Xml.mli b/helm/ocaml/cic_annotations/cicAnnotation2Xml.mli
index ba1b406b4..69faf6e60 100644
--- a/helm/ocaml/cic_annotations/cicAnnotation2Xml.mli
+++ b/helm/ocaml/cic_annotations/cicAnnotation2Xml.mli
@@ -33,4 +33,6 @@
 (*                                                                            *)
 (******************************************************************************)
 
-val pp_annotation : Cic.annobj -> UriManager.uri -> Xml.token Stream.t
+val pp_annotation :
+ Cic.annobj -> (Cic.id, string) Hashtbl.t -> UriManager.uri ->
+  Xml.token Stream.t