X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.mli;h=c796f48544e586277ff947a395dc20b57b0f58fa;hb=d6082c846d53389e392e90e2a82c4a3036dd1f2d;hp=63b84b448a85028d32c2f0cb111a0afa83ffd1d5;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/matita/matitaInit.mli b/helm/software/matita/matitaInit.mli
index 63b84b448..c796f4854 100644
--- a/helm/software/matita/matitaInit.mli
+++ b/helm/software/matita/matitaInit.mli
@@ -36,3 +36,6 @@ val load_configuration_file: unit -> unit
   (** die nicely: exit with return code 1 printing usage error message *)
 val die_usage: unit -> 'a
 
+  (** add extra command line options *)
+val add_cmdline_spec: (Arg.key * Arg.spec * Arg.doc) list -> unit
+