diff --git a/lambdapi.opam b/lambdapi.opam
index 148fa5a0e..97887d8e7 100644
--- 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}