Arg.Unit (fun () -> Helm_registry.set_bool "matita.debug" true),
("Do not catch top-level exception "
^ "(useful for backtrace inspection)");
Arg.Unit (fun () -> Helm_registry.set_bool "matita.debug" true),
("Do not catch top-level exception "
^ "(useful for backtrace inspection)");