X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicXPath.mli;h=23380e02a875a47a4c292c43009be4fab9e12c64;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=5ca9a2cf64299ee300bacdb03a03e80712dfe5b0;hpb=298fa826610192b1a173c81b4ebf961c1c7e6609;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