X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.ml;h=f4edcf588bc4ec83d9a02d7554db336847be3cc4;hb=faf311442f59ccbc652c7965d23ed2945fd40906;hp=67a634a16ce9143724f324acca28d57d1f2bd718;hpb=cdd9c120b37a5f2b3bdc760807b1d3fdc46223c7;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index 67a634a16..f4edcf588 100644
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
@@ -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"