From f70e21132a59a2324c615e2af271cd25a18fabec Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 18 Apr 2022 21:59:40 +0200
Subject: [PATCH] fix opam

---
 elpi.opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/elpi.opam b/elpi.opam
index e4fa7b766..a8fc3de2f 100644
--- 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: """