Hi, Jens I switched to ocaml 4.05.0, it worked. Thanks! BTW, someone compiled why3 0.88.3 using ocaml 4.06.1 on macos 10.13.4 successfully. If I updated the os, then I would test it! Sincerely
2018-04-17 8:58 GMT+08:00 wenlong xie <wlxie.buaa...@gmail.com>: > 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