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

diff --git a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
index 7c41ece31..cb01155ad 100644
--- a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
+++ b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
@@ -33,7 +33,7 @@ typedef struct Editor Editor;
 const char*    c_mathml_editor_get_default_dictionary_path(void);
 const char*    c_mathml_editor_get_default_mathml_stylesheet_path(void);
 const char*    c_mathml_editor_get_default_tex_stylesheet_path(void);
-Editor*        c_mathml_editor_new(const char*, const char*, const char*, void (*)(int, const char*, void*), void*);
+Editor*        c_mathml_editor_new(int, const char*, const char*, const char*, void (*)(int, const char*, void*), void*);
 void           c_mathml_editor_destroy(Editor*);
 int            c_mathml_editor_freeze(Editor*);
 int            c_mathml_editor_thaw(Editor*);