X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations_cache%2FcicCache.mli;h=160a162ec8ca025a472f3d4005455ca3ffc62300;hb=0c6a5aadb1a7746681a8e26fc0b009f847c10557;hp=b4c50c6c4c149996daa83d82ae45fbe0dd5c0c4b;hpb=5a92117eeff70048d29e91ba24e113155d956e1b;p=helm.git

diff --git a/helm/ocaml/cic_annotations_cache/cicCache.mli b/helm/ocaml/cic_annotations_cache/cicCache.mli
index b4c50c6c4..160a162ec 100644
--- 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