* Major code cleanup.

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

diff --git a/helm/ocaml/cic_annotations/cicXPath.mli b/helm/ocaml/cic_annotations/cicXPath.mli
index 5ca9a2cf64299ee300bacdb03a03e80712dfe5b0..23380e02a875a47a4c292c43009be4fab9e12c64 100644 (file)
--- 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