let dump_msg = "<filename> Dump source with expanded macros to <filename>" in
MatitaInit.add_cmdline_spec ["-dump", Arg.String dump, dump_msg];
let _ = MatitacLib.main `COMPILER in
let dump_msg = "<filename> Dump source with expanded macros to <filename>" in
MatitaInit.add_cmdline_spec ["-dump", Arg.String dump, dump_msg];
let _ = MatitacLib.main `COMPILER in