X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fgtk_mathview.ml;h=27ca4c45c7cf78e441f9b900f27611f3e5b9e535;hb=91da8438a05450c656ae949e6a3ae8e4bbc3d161;hp=a8ef3ea863375ab5785f6283b20ade175cc6a569;hpb=51d3266e2e5b7da235ac10dd683e00f4874ea4df;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtk_mathview.ml b/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
index a8ef3ea86..27ca4c45c 100644
--- a/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
+++ b/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
@@ -20,4 +20,4 @@
  * For details, send a mail to the author.
  *)
 
-type math_view = [`widget|`container|`bin|`eventbox|`math_view]
+type math_view = [`widget|`container|`bin|`eventbox|`math_view|`base]