X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicXPath.mli;h=23380e02a875a47a4c292c43009be4fab9e12c64;hb=ae326f646ef4c01b43d6da04201b427d1e175400;hp=5ca9a2cf64299ee300bacdb03a03e80712dfe5b0;hpb=538b694e70fafbf298f27cf57cae13928bac95af;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicXPath.mli b/helm/ocaml/cic_annotations/cicXPath.mli
index 5ca9a2cf6..23380e02a 100644
--- a/helm/ocaml/cic_annotations/cicXPath.mli
+++ b/helm/ocaml/cic_annotations/cicXPath.mli
@@ -34,4 +34,6 @@
 (******************************************************************************)
 
 val get_annotation :
-  'a * (string, Cic.anntarget) Hashtbl.t -> string -> string option ref
+ (Cic.id, string) Hashtbl.t -> Cic.id -> string option
+
+val get_ids_to_targets : Cic.annobj -> (Cic.id, Cic.anntarget) Hashtbl.t