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

Reply via email to