]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gtkMathView.ml
Updated to lablgtk 1.2 and ocaml-3.01.
[helm.git] / helm / DEVEL / lablgtkmathview / gtkMathView.ml
index 67a634a16ce9143724f324acca28d57d1f2bd718..f4edcf588bc4ec83d9a02d7554db336847be3cc4 100644 (file)
@@ -82,7 +82,7 @@ module MathView = struct
    "ml_gtk_math_view_get_vadjustment"
   external get_buffer : [>`math_view] obj -> Gdk.pixmap =
    "ml_gtk_math_view_get_buffer"
-  external get_frame : [>`math_view] obj -> [`frame] obj =
+  external get_frame : [>`math_view] obj -> Gtk.frame obj =
    "ml_gtk_math_view_get_frame"
   external set_font_size : [>`math_view] obj -> int -> unit =
    "ml_gtk_math_view_set_font_size"