From 907fa4aefe4770d351b38a7f9a7a273030abf4c6 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 2 Jun 2023 00:18:23 +0200
Subject: Use dune 3.7 and update the flake.lock

---
 compiler/dune-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/dune-project')

diff --git a/compiler/dune-project b/compiler/dune-project
index 650eeec0..9910e549 100644
--- a/compiler/dune-project
+++ b/compiler/dune-project
@@ -1,4 +1,4 @@
-(lang dune 2.8)
+(lang dune 3.7)
 
 (name aeneas)
 
-- 
cgit v1.2.3