fix opam

LPCIC · Dec 6, 2024 · a730e65 · a730e65
1 parent ed38e16
commit a730e65
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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