Commit 8670140f authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Modify references to why3config.

parent c826e251
......@@ -809,7 +809,7 @@ let () = Exn_printer.register (fun fmt e -> match e with
| ConfigFailure (f, s) ->
Format.fprintf fmt "error in config file %s: %s" f s
| WrongMagicNumber ->
Format.fprintf fmt "outdated config file; rerun why3config"
Format.fprintf fmt "outdated config file; rerun 'why3 config'"
| NonUniqueId ->
Format.fprintf fmt "InternalError : two provers share the same id"
| ProverNotFound (config,fp) ->
......
......@@ -931,7 +931,7 @@ let () =
if C.Mprover.is_empty (C.get_provers gconfig.Gconfig.config) then
begin
info_window `ERROR
"No prover configured.\nPlease run 'why3config --detect-provers' first"
"No prover configured.\nPlease run 'why3 config --detect-provers' first"
~callback:GMain.quit;
GMain.main ();
exit 2;
......
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