- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / ocaml / cic_annotations / cicAnnotation2Xml.mli

diff --git a/helm/ocaml/cic_annotations/cicAnnotation2Xml.mli b/helm/ocaml/cic_annotations/cicAnnotation2Xml.mli
index ba1b406b48641db8b69448729649022826f69b7b..69faf6e6030f24249bd990ccd483333eccfd77ac 100644 (file)
--- 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