Main code clean-up.

[helm.git] / helm / annotationHelper / cicAnnotationHinter.mli

diff --git a/helm/annotationHelper/cicAnnotationHinter.mli b/helm/annotationHelper/cicAnnotationHinter.mli
index 6846273b3879a5ce8902febcd9a55b54867c3e18..c21eefc88c0f2b42ff5128aa10ac1157826b8851 100644 (file)
--- 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