From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 12 Feb 2003 16:24:58 +0000 (+0000)
Subject: * the type of the constructor was wrong
X-Git-Tag: V_0_0_4_1~48
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6661b044574d16144dfa0db68708f64ee286fb00;p=helm.git

* the type of the constructor was wrong
---

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"