X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.mli;h=4f5f0d4e2e79b5c5ab28458b77b0a5485d8a905e;hb=1235bdbe5da488056b96df86ed18e381589e0f97;hp=57e622523052f853a6d9a70c583515be2b393c66;hpb=e3ce1d44f0621654615afa6ed6a1896ea4c25b02;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index 57e622523..4f5f0d4e2 100644
--- a/helm/DEVEL/lablgtkmathview/gMathView.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathView.mli
@@ -25,9 +25,10 @@ exception ErrorWritingFile of string
 exception ErrorLoadingDOM
 exception NoSelection
 class math_view_signals :
-  ([> `container | `widget] as 'b) Gtk.obj ->
+  ([> `container | `widget | `base | `math_view] as 'b) Gtk.obj ->
   object ('a)
     inherit GContainer.container_signals
+    val obj: 'b Gtk.obj
     method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
     method element_changed :
       callback:(Gdome.element option -> unit) -> GtkSignal.id