- the mathql interpreter is not helm-dependent any more

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

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser2.mli b/helm/ocaml/cic_annotations/cicAnnotationParser2.mli
index 80bc0f6b1756e13cea71b8cc17030bdc7f820e18..f16bb6fe8d6a89f2b1a543990ac9d7b20985f11d 100644 (file)
--- a/helm/ocaml/cic_annotations/cicAnnotationParser2.mli
+++ b/helm/ocaml/cic_annotations/cicAnnotationParser2.mli
@@ -34,8 +34,7 @@
 (******************************************************************************)
 
 exception IllFormedXml of int
-val annotate :
-  (string, Cic.anntarget) Hashtbl.t ->
+val get_annotations :
   < node_type : Pxp_document.node_type;
     sub_nodes : < attribute : string -> Pxp_types.att_value;
                   node_type : Pxp_document.node_type;
@@ -48,4 +47,4 @@ val annotate :
                   .. >
                 list;
     .. > ->
-  unit
+  (Cic.id, string) Hashtbl.t