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

diff --git a/helm/annotationHelper/cicAnnotationHinter.mli b/helm/annotationHelper/cicAnnotationHinter.mli
index c21eefc88..8cfc04c22 100644
--- a/helm/annotationHelper/cicAnnotationHinter.mli
+++ b/helm/annotationHelper/cicAnnotationHinter.mli
@@ -36,7 +36,7 @@
 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; .. >;