X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fgtk_mathview.ml;h=f5b8c5ef652766371a86d547b29634293be74779;hb=0aaed6f96b856d1181a3cd1f2ef3ea4a91990771;hp=5472acbe5bd55b4a0f8df155628083dcaa7cf5b4;hpb=ee18ff6db8d49339230b4212e145964b12c5a523;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtk_mathview.ml b/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
index 5472acbe5..f5b8c5ef6 100644
--- a/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
+++ b/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
@@ -21,4 +21,4 @@
  * For details, send a mail to the author.
  *)
 
-type math_view = [`widget|`container|`bin|`eventbox|`math_view|`base]
+type math_view = [Gtk.widget|`mathview_gmetadom]