...

[helm.git] / helm / ocaml / cic_annotations_cache / cicCache.mli

diff --git a/helm/ocaml/cic_annotations_cache/cicCache.mli b/helm/ocaml/cic_annotations_cache/cicCache.mli
index b4c50c6c4c149996daa83d82ae45fbe0dd5c0c4b..160a162ec8ca025a472f3d4005455ca3ffc62300 100644 (file)
--- a/helm/ocaml/cic_annotations_cache/cicCache.mli
+++ b/helm/ocaml/cic_annotations_cache/cicCache.mli
@@ -34,4 +34,4 @@
 (******************************************************************************)
 
 val get_annobj :
- UriManager.uri -> Cic.annobj * (Cic.id, Cic.anntarget) Hashtbl.t
+ UriManager.uri -> Cic.annobj * (Cic.id, string) Hashtbl.t option