X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fmathml_editor.mli;h=aa0278522d6f98c87c9322025dcac2c0359378f0;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=f294fcfdd34f66fad9815277d8060f9488f42adc;hpb=dbc6a4fb0236cfc7752c70e2e16f511b9e51b29c;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
index f294fcfdd..aa0278522 100644
--- 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 ->