let fatal fmt = Printf.kprintf (fun s -> Format.printf "Error: %s (%s)@." (OptParse.Opt.get Options.solver) (OptParse.Opt.get Options.criteria) ; Format.printf "Message: %s@." s; exit 0 ) fmt