diff --git a/dune-project b/dune-project index a26d6e2..de4fc20 100644 --- a/dune-project +++ b/dune-project @@ -1 +1 @@ -(lang dune 1.6) +(lang dune 1.0)