Le 10/08/2020 à 15:00, Sandrine Blazy a écrit : > Hi, > can anyone help with this installation failure?
Your C compiler is right to complain; this is an unfortunate mistake on Why3's side. So, short of modifying the sources of Why3 by hand as instructed by the compiler, there is not much you can do. I will fix the issue for the next release. Best regards, Guillaume _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club