diff --git a/dune-project b/dune-project index 0636ab6a..7655de07 100644 --- a/dune-project +++ b/dune-project @@ -1 +1 @@ -(lang dune 1.11) +(lang dune 1.1)