From 23bc4b8d1196a2215c15f913d723ef67198a83ee Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 22 May 2024 10:11:25 -0400 Subject: [PATCH] fix spurious bound --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index 10dbea73..107d269d 100644 --- a/dune-project +++ b/dune-project @@ -74,7 +74,7 @@ ("eio" (and (>= "1.0") - (< "1.0"))) + (< "2.0"))) ("lsp" (and (>= "1.17")