From f5e3148ee4f6580f99b50ca003714f66eaf9a819 Mon Sep 17 00:00:00 2001 From: Idir Lankri Date: Fri, 7 Aug 2026 17:26:01 +0200 Subject: [PATCH] Cleanup: Adapt the code to the last upgrade of `dune` --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index c994249..ada09b2 100644 --- a/dune-project +++ b/dune-project @@ -1 +1 @@ -(lang dune 2.9) +(lang dune 3.20)