Any idea where to post/file this bug report ? Bugzilla claims the bugurl is outdated and it’s none of their business.
I should give it to whoever writes gnatprove but I don’t know who did, or where to post this.
Hi, I believed the error should be probably reported in the SPARK repo as an issue.
Best regards,
Fer