diff --git a/clangml-transforms.opam b/clangml-transforms.opam index 31fe2e2706d9b6ba3a96b321d2bfec07d54c8c5c..7708eb78ca662a6e419d19cdca66411e01089cd6 100644 --- a/clangml-transforms.opam +++ b/clangml-transforms.opam @@ -9,7 +9,7 @@ homepage: "https://gitlab.inria.fr/memcad/clangml-transforms" doc: "https://gitlab.inria.fr/memcad/clangml-transforms" bug-reports: "https://gitlab.inria.fr/memcad/clangml-transforms/issues" depends: [ - "ocaml" {>= "4.03.0" & < "4.12.0"} + "ocaml" {>= "4.03.0"} "dune" {>= "1.11.0"} "clangml" {>= "4.2.0"} "dolog" {>= "4.0.0"}