wip

Deducteam · Oct 18, 2022 · 0dd874b · 0dd874b
1 parent 1311b75
commit 0dd874b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lambdapi.opam b/lambdapi.opam
@@ -62,7 +62,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "stdlib-shims" {>= "0.1.0"}
   "odoc" {with-doc}
-  "elpi" { >= "1.16.0" & < "1.17.0" }
+  "elpi" { >= "1.16.6" & < "1.17.0" }
 ]
 build: [
   ["dune" "subst"] {dev}