Add upper bound on pratter (#1017)

Pratter is going to be updated (see ocaml/opam-repository#24746) and its interface will change. To avoid conflicts, make lambdapi depend on the current interface, that is, on pratter version 2. Co-authored-by: Gabriel Hondet <gl_ht/[email protected]>
Deducteam · Nov 5, 2023 · bfa7a56 · bfa7a56
1 parent d470c71
commit bfa7a56
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -57,7 +57,7 @@ the Why3 platform.")
   (dedukti (and :with-test (>= 2.7)))
   (bindlib (>= 5.0.1))
   (timed (>= 1.0))
-  (pratter (>= 2.0.0))
+  (pratter (and (>= 2.0.0) (< 3)))
   (camlp-streams (>= 5.0))
   (why3 (and (>= 1.6.0) (< 1.7~)))
   (yojson (>= 1.6.0))

diff --git a/lambdapi.opam b/lambdapi.opam
@@ -55,7 +55,7 @@ depends: [
   "dedukti" {with-test & >= "2.7"}
   "bindlib" {>= "6.0.0"}
   "timed" {>= "1.0"}
-  "pratter" {>= "2.0.0"}
+  "pratter" {>= "2.0.0" & < "3"}
   "camlp-streams" {>= "5.0"}
   "why3" {>= "1.6.0" & < "1.7~"}
   "yojson" {>= "1.6.0"}