[Why3-club] Compilation error with coq8.4

Johannes Kanig kanig at adacore.com
Thu Sep 6 17:22:30 CEST 2012


On 09/06/2012 05:18 PM, Alan Schmitt wrote:
> I checked and the file why3ml is indeed not there.

AFAIK, the 'why3ml' executable was removed, and got replaced by 'why3'.
So I suspect the error is in the godi driver.

-- 
Johannes Kanig <kanig at adacore.com>



More information about the Why3-club mailing list