]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/annotationHelper/cicAnnotationHinter.mli
ocaml 3.09 transition
[helm.git] / helm / annotationHelper / cicAnnotationHinter.mli
index c21eefc88c0f2b42ff5128aa10ac1157826b8851..8cfc04c229aea119a22e15403d1b07b217b1b793 100644 (file)
@@ -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; .. >;