effect is now a keyword in OCaml 5.3
Why3 does not compile with the forthocoming OCaml 5.3, as effect is now a keyword and Why3's code uses effect as an identifier at many places (e.g. in src/mlw/ity.ml).
Why3 does not compile with the forthocoming OCaml 5.3, as effect is now a keyword and Why3's code uses effect as an identifier at many places (e.g. in src/mlw/ity.ml).