ocaml 3.09 transition

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

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