ocaml 3.09 transition

[helm.git] / helm / DEVEL / mathml_editor / ocaml / i_mathml_editor.ml

diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
index c98c2fbe128dae895b4d7a00cec8d9bd7888072a..d865898d614bb74a811a5a3f2a50c3f0ef8e922f 100644 (file)
--- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -34,13 +34,15 @@ external get_default_mathml_stylesheet_path : unit -> string
 external get_default_tex_stylesheet_path : unit -> string
   = "ml_mathml_editor_get_default_tex_stylesheet_path"
 
-external create : 
+external raw_create : 
+  alt_lexer:bool ->
   dictionary_uri: string ->
   mml_uri: string -> 
-  tex_uri: string ->
+  tml_uri: string ->
   log:(int -> string -> unit) ->
   t
   = "ml_mathml_editor_new"
+let create ?(alt_lexer=false) = raw_create ~alt_lexer
 
 external freeze : editor:t -> bool
   = "ml_mathml_editor_freeze"