Update dune version

inhabitedtype · Dec 19, 2024 · 23401ac · 23401ac
1 parent 39a242e
commit 23401ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 3.0)
+(lang dune 3.17)
 (name bigstringaf)
 (formatting (enabled_for dune))