Fix dune version

Beluga-lang · Sep 6, 2024 · 39d91c7 · 39d91c7
1 parent aeec35f
commit 39d91c7
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.16)
+(lang dune 3.13)
 (using menhir 2.1)
 (name mcltt)