why3ide no longer knows about the location of errors
This was introduced by commit a12c4855, which stripped away the location from all the errors:
- with e when not (Debug.test_flag Debug.stack_trace) -> (* TODO: capture only parsing and typing errors *)
+ with Loc.Located (_,e) -> (* TODO: capture only syntax and typing errors *)
...
Some e
@lawall