From a730e651e55e9c37f214face0edfb9cda2822ac7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 6 Dec 2024 09:03:13 +0100
Subject: [PATCH] fix opam

---
 dune-project | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dune-project b/dune-project
index b2b3af00c..a27cbc7b9 100644
--- a/dune-project
+++ b/dune-project
@@ -30,7 +30,6 @@
    "logpath:elpi"))
  (depends
   (ocaml (>= 4.10.0))
-  stdlib-shims
   (elpi (and (>= 2.0.3) (< 2.1.0~)))
   (coq (and (>= 8.20+rc1) (< 8.21~)))
   ppx_optcomp