chore: set dune language to the version of dune we use

grain-lang · Mar 16, 2021 · e9eb5c9 · e9eb5c9
1 parent 34b7a13
commit e9eb5c9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -1,3 +1,3 @@
-(lang dune 2.6)
+(lang dune 2.7)
 
 (profile release)