first moogle template checkin

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

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser.mli b/helm/ocaml/cic_annotations/cicAnnotationParser.mli
index 473d05fe51d1043575bdeb82ca9ba594cf2856ee..582013e3e1904f3f7af7f954352281e929e33dc8 100644 (file)
--- 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