X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotationParser.mli;h=582013e3e1904f3f7af7f954352281e929e33dc8;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=473d05fe51d1043575bdeb82ca9ba594cf2856ee;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser.mli b/helm/ocaml/cic_annotations/cicAnnotationParser.mli
index 473d05fe5..582013e3e 100644
--- a/helm/ocaml/cic_annotations/cicAnnotationParser.mli
+++ b/helm/ocaml/cic_annotations/cicAnnotationParser.mli
@@ -33,4 +33,4 @@
 (*                                                                            *)
 (******************************************************************************)
 
-val annotate : string -> (string, Cic.anntarget) Hashtbl.t -> unit
+val get_annotations : string -> (Cic.id, string) Hashtbl.t