From 6e48bae4e4235d43ecbd87a8d7497535908a1f48 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 23 Jul 2024 15:34:19 +0200
Subject: [PATCH] dev setup

---
 coq-elpi.opam | 2 +-
 dune-project  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq-elpi.opam b/coq-elpi.opam
index 9e3194641..ea641c395 100644
--- a/coq-elpi.opam
+++ b/coq-elpi.opam
@@ -21,7 +21,7 @@ depends: [
   "elpi" {>= "1.18.2" & < "1.20.0~"}
   "coq" {>= "8.19" & < "8.21"}
   "ppx_optcomp"
-  "ocaml-lsp-server" {dev}
+  "ocaml-lsp-server" {with-dev-setup}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/dune-project b/dune-project
index f17548fb9..031adaecd 100644
--- a/dune-project
+++ b/dune-project
@@ -34,7 +34,7 @@
   (elpi (and (>= 1.18.2) (< 1.20.0~)))
   (coq (and (>= 8.19) (< 8.21)))
   ppx_optcomp
-  (ocaml-lsp-server :dev)))
+  (ocaml-lsp-server :with-dev-setup)))
 
 (package
  (name coq-elpi-tests)