why3ide no longer prints syntax error messages
constant x : bad_type = 25
On this syntactically incorrect program, why3 prove
displays a relevant error message, but why3 ide
prints Segmentation fault (core dumped)
. This seems true of most syntax errors.