Commit 46503451 authored by Maximilien Colange's avatar Maximilien Colange

Print usage when tiamo is called with no argument.

parent abc2b598
......@@ -66,6 +66,10 @@ let set_command arg =
let main() =
Printexc.record_backtrace true;
if Array.length Sys.argv < 2 then (
Arg.usage [] usage;
exit 1
Arg.parse_dynamic arg_list set_command usage;
let module MC = (val !mc_module : OPTIONS) in
let res = Options.verify (module MC) in
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment