diff --git a/dune-project b/dune-project index bb513f3..e1b9f7a 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 ddd394c..331aa0b 100644 --- a/dune-workspace +++ b/dune-workspace @@ -1,3 +1,3 @@ -(lang dune 2.6) +(lang dune 2.7) (profile release)