From 23401ac2829b25e88ec639030ae6b6fbba7479b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Tue, 5 Sep 2023 12:37:22 +0200 Subject: [PATCH] Update dune version --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index efb9888..c93322e 100644 --- a/dune-project +++ b/dune-project @@ -1,3 +1,3 @@ -(lang dune 3.0) +(lang dune 3.17) (name bigstringaf) (formatting (enabled_for dune))