diff --git a/constrained_generation.opam b/constrained_generation.opam index b316c0a..9456cd0 100644 --- a/constrained_generation.opam +++ b/constrained_generation.opam @@ -10,7 +10,7 @@ build: [ ["dune" "build" "-p" name "-j" jobs] ] depends: [ - "ocaml" { >= "4.08" } + "ocaml" { >= "4.14" } "dune" { >= "2.8" } "unionFind" { >= "20220109" } "pprint"