diff --git a/dune-project b/dune-project index c994249..ada09b2 100644 --- a/dune-project +++ b/dune-project @@ -1 +1 @@ -(lang dune 2.9) +(lang dune 3.20)