diff --git a/acgtk.opam b/acgtk.opam index 1d94ef4364e6eb778f02b81f138f2e39c700cb38..41bce876c080de63858c1774d906bf1c6ce735f1 100644 --- a/acgtk.opam +++ b/acgtk.opam @@ -12,7 +12,7 @@ build: [ install: ["dune" "install"] depends: [ - "ocaml" {version >= "4.03.0"} + "ocaml" { >= "4.03.0"} "dune" {build} "menhir" "ANSITerminal"