[Why3-club] Generation of realizations broken

Stefan Berghofer berghofe at in.tum.de
Fri Nov 22 19:13:22 CET 2013


On 11/22/2013 06:25 PM, Jean-Christophe Filliatre wrote:
> Dear Stefan,
>
> Thanks for the heads-up. Andrei and I just fixed it in
> commit 5e51326c70a2b5cd4af2ba4e2d5744c63c716a27
>
> You would have to apply a similar patch to your Isabelle printer, most
> likely.

Dear Jean-Christophe,

thanks a lot for your quick reply. I guess it won't be too difficult for
me to figure out which patch I have to apply to my Isabelle printer.

Greetings,
Stefan



More information about the Why3-club mailing list