fix opam

LPCIC · Apr 18, 2022 · f70e211 · f70e211
1 parent 8111a7d
commit f70e211
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/elpi.opam b/elpi.opam
@@ -27,10 +27,10 @@ depends: [
   "conf-time" {with-test}
 ]
 depopts: [
-  "elpi-option-legacy-parser" {= 1}
+  "elpi-option-legacy-parser"
 ]
 conflicts: [
-  "elpi-option-legacy-parser" {!= 1}
+  "elpi-option-legacy-parser" {!= "1"}
 ]
 synopsis: "ELPI - Embeddable λProlog Interpreter"
 description: """