Commit deb3da8b authored by Guillaume Melquiond's avatar Guillaume Melquiond

Improve error message in case of local installation.

parent 5f2d9c04
......@@ -405,6 +405,7 @@ let check_support_library data ver =
let support_ver = input_line f in
close_in f;
if support_ver = ver then true
else if support_ver = "" then raise Not_found
else begin
eprintf
"Found prover %s version %s, but the compiled Why3 library supports only version %s@."
......
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