From 39d91c76acae38ae3c8cd041eaae0689bde3910a Mon Sep 17 00:00:00 2001
From: Junyoung/Clare Jang <jjc9310@gmail.com>
Date: Fri, 6 Sep 2024 15:31:08 -0400
Subject: [PATCH] Fix dune version

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

diff --git a/dune-project b/dune-project
index cb87333b..88b2a868 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 3.16)
+(lang dune 3.13)
 (using menhir 2.1)
 (name mcltt)