From a947d255bf3e3f68b873e61e531e847b9cdeeaff 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")