From d9d0b7cc27abecfefcb22b46333ecdeb9ec397fa Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 24 May 2024 15:03:37 +0200
Subject: Downgrade the version of dune

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

(limited to 'tests/test_runner/dune-project')

diff --git a/tests/test_runner/dune-project b/tests/test_runner/dune-project
index c614e923..dc352bd0 100644
--- a/tests/test_runner/dune-project
+++ b/tests/test_runner/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.12)
+(lang dune 3.7)
 
 (name aeneas_test_runner)
 
-- 
cgit v1.2.3