From e9eb5c927dbee84f9ab783a2bfb7f2e16c94e7f6 Mon Sep 17 00:00:00 2001
From: Blaine Bublitz <blaine.bublitz@gmail.com>
Date: Mon, 15 Mar 2021 19:23:34 -0700
Subject: [PATCH] chore: set dune language to the version of dune we use

---
 dune-project   | 2 +-
 dune-workspace | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index bb513f34..e1b9f7a9 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.6)
+(lang dune 2.7)
 
 (name binaryen)
diff --git a/dune-workspace b/dune-workspace
index ddd394cc..331aa0bf 100644
--- a/dune-workspace
+++ b/dune-workspace
@@ -1,3 +1,3 @@
-(lang dune 2.6)
+(lang dune 2.7)
 
 (profile release)