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

diff --git a/helm/annotationHelper/cicAnnotationHinter.mli b/helm/annotationHelper/cicAnnotationHinter.mli
index 6846273b3..8cfc04c22 100644
--- a/helm/annotationHelper/cicAnnotationHinter.mli
+++ b/helm/annotationHelper/cicAnnotationHinter.mli
@@ -36,11 +36,11 @@
 val create_hints :
   < annotation : GEdit.text;
     annotation_hints : < children : < as_widget : 'a Gtk.obj; .. > list;
-                         connect : < clicked : (unit -> unit) -> GtkSignal.id;
+                         connect : < clicked : callback:(unit -> unit) -> GtkSignal.id;
                                      .. >;
                          misc : < disconnect : GtkSignal.id -> 'b;
                                   hide : unit -> 'c; show : unit -> 'd; .. >;
                          .. >
                        array;
     .. > ->
-  'e * (string, Cic.anntarget) Hashtbl.t -> string -> unit
+  (Cic.id, Cic.anntarget) Hashtbl.t -> string -> unit