X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotationParser2.mli;h=f16bb6fe8d6a89f2b1a543990ac9d7b20985f11d;hb=ae326f646ef4c01b43d6da04201b427d1e175400;hp=80bc0f6b1756e13cea71b8cc17030bdc7f820e18;hpb=538b694e70fafbf298f27cf57cae13928bac95af;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser2.mli b/helm/ocaml/cic_annotations/cicAnnotationParser2.mli
index 80bc0f6b1..f16bb6fe8 100644
--- 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