From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 13 Feb 2003 12:51:08 +0000 (+0000)
Subject: Type fixed.
X-Git-Tag: V_0_0_4_1~46
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cfc1047eac928aafcb9152273c209920399c7cb0;p=helm.git

Type fixed.
---

diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
index 62c1a3805..f7eddfefd 100644
--- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -25,10 +25,10 @@ external drop : editor:t -> alt:bool -> unit
   = "ml_mathml_editor_drop"
 
 external cursor_hide : editor:t -> unit
-  = "ml_mathml_cursor_hide"
+  = "ml_mathml_editor_cursor_hide"
 
 external cursor_show : editor:t -> unit
-  = "ml_mathml_cursor_show"
+  = "ml_mathml_editor_cursor_show"
 
 external get_tex : editor:t -> string
   = "ml_mathml_editor_get_tex"