ocaml 3.09 transition

[helm.git] / helm / DEVEL / mathml_editor / ocaml / mathml_editor.mli

diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
index f294fcfdd34f66fad9815277d8060f9488f42adc..aa0278522d6f98c87c9322025dcac2c0359378f0 100644 (file)
--- a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
+++ b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
@@ -28,6 +28,7 @@ val default_mathml_stylesheet_path : string
 val default_tex_stylesheet_path : string
 
 val create :
+  ?alt_lexer:bool ->
   dictionary_uri: string ->
   mml_uri: string ->
   tml_uri: string ->