From cfc1047eac928aafcb9152273c209920399c7cb0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 13 Feb 2003 12:51:08 +0000 Subject: [PATCH] Type fixed. --- helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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" -- 2.39.2