specify ott version.

UQ-PAC · Sep 18, 2023 · 758815e · 758815e
1 parent f20cec4
commit 758815e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/asli.opam b/asli.opam
@@ -19,7 +19,7 @@ depends: [
   "dune" {>= "2.5"}
   "ocaml" {>= "4.09"}
   "menhir" {build}
-  "ott" {build}
+  "ott" {build & >= "0.31"}
   "linenoise"
   "pprint"
   "zarith"

diff --git a/dune-project b/dune-project
@@ -17,7 +17,7 @@
   (depends
     ("ocaml"     (>= "4.09"))
     ("menhir"    :build)
-    ("ott"       :build)
+    ("ott"       (and :build (>= "0.31")))
     "linenoise"
     "pprint"
     "zarith"