]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gtk_mathview.ml
forward compatibility changes for ocaml 3.06
[helm.git] / helm / DEVEL / lablgtkmathview / gtk_mathview.ml
index a8ef3ea863375ab5785f6283b20ade175cc6a569..27ca4c45c7cf78e441f9b900f27611f3e5b9e535 100644 (file)
@@ -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]