build: not it works with kind 1.6

5008d6f6 · erwan · f9fd815c · 5008d6f6
Commit 5008d6f6 authored 2 years ago by erwan
--- a/salut.opam
+++ b/salut.opam
@@ -17,7 +17,7 @@ bug-reports:
 depends: [
  "sasa"
  "z3"
-  "kind2" { < "1.6" }
+  "kind2"
 ]
 build: ["dune" "build"]
 install: ["dune" "install"]