allow why3 1.7 (#1023)

Deducteam · Nov 28, 2023 · 903ab9e · 903ab9e
1 parent eaae086
commit 903ab9e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -59,7 +59,7 @@ the Why3 platform.")
   (timed (>= 1.0))
   (pratter (and (>= 3.0.0) (< 4)))
   (camlp-streams (>= 5.0))
-  (why3 (and (>= 1.6.0) (< 1.7~)))
+  (why3 (and (>= 1.6.0) (< 1.8~)))
   (yojson (>= 1.6.0))
   (cmdliner (>= 1.1.0))
   (stdlib-shims (>= 0.1.0))

diff --git a/lambdapi.opam b/lambdapi.opam
@@ -57,7 +57,7 @@ depends: [
   "timed" {>= "1.0"}
   "pratter" {>= "3.0.0" & < "4"}
   "camlp-streams" {>= "5.0"}
-  "why3" {>= "1.6.0" & < "1.7~"}
+  "why3" {>= "1.6.0" & < "1.8~"}
   "yojson" {>= "1.6.0"}
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}