X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotationParser2.mli;h=f16bb6fe8d6a89f2b1a543990ac9d7b20985f11d;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=80bc0f6b1756e13cea71b8cc17030bdc7f820e18;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;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