X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fmathml_editor.ml;h=7354c8e95f96dd09f1acd587d364422bee36f81f;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=58ca8f769f653b31652683ecb0218606665519f5;hpb=387aeebf96181c051b7f527a0901b173cfcdf194;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml
index 58ca8f769..7354c8e95 100644
--- a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml
@@ -18,6 +18,12 @@ let push = I_mathml_editor.push
 let drop = I_mathml_editor.drop
 ;;
 
+let cursor_hide = I_mathml_editor.cursor_hide
+;;
+
+let cursor_show = I_mathml_editor.cursor_show
+;;
+
 let get_tex = I_mathml_editor.get_tex
 ;;