From 6661b044574d16144dfa0db68708f64ee286fb00 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Wed, 12 Feb 2003 16:24:58 +0000 Subject: [PATCH] * the type of the constructor was wrong --- helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml index 5019fbeff..f3ca57454 100644 --- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml +++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml @@ -5,7 +5,7 @@ external create : dictionary:[> `Document] GdomeT.t -> mml: [> `Document] GdomeT.t -> tex: [> `Document] GdomeT.t -> - log:(string -> unit) -> + log:(int -> string -> unit) -> t = "ml_mathml_editor_new" -- 2.39.2