Hi, may it be 4.06.1, thanks for your remind, I check it later! Sincerely! 2018-04-16 21:53 GMT+08:00 Gerlach, Jens <jens.gerl...@fokus.fraunhofer.de>:
> Hello, > > I am using why3 0.88.3 without problems on my Mac(s). > I remember that there was an issue with ocaml which made it necessary to > resort to ocaml version 4.05.0. > Which version of ocaml are you using? > > Regards > > Jens > > _______________________________________________ > Why3-club mailing list > Why3-club@lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/why3-club >
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club