X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FannotationHelper%2FcicAnnotationHinter.mli;h=c21eefc88c0f2b42ff5128aa10ac1157826b8851;hb=b585030cb67e164ec9a043abcd938be756d9ad1f;hp=6846273b3879a5ce8902febcd9a55b54867c3e18;hpb=ff6eee275d22bd158f9ccd451aaae0cb61659a6e;p=helm.git

diff --git a/helm/annotationHelper/cicAnnotationHinter.mli b/helm/annotationHelper/cicAnnotationHinter.mli
index 6846273b3..c21eefc88 100644
--- a/helm/annotationHelper/cicAnnotationHinter.mli
+++ b/helm/annotationHelper/cicAnnotationHinter.mli
@@ -43,4 +43,4 @@ val create_hints :
                          .. >
                        array;
     .. > ->
-  'e * (string, Cic.anntarget) Hashtbl.t -> string -> unit
+  (Cic.id, Cic.anntarget) Hashtbl.t -> string -> unit