diff --git a/dune-project b/dune-project index f900cdb..88a33ec 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,4 @@ -(lang dune 3.12) +(lang dune 3.11) (name flake_env) (generate_opam_files true) diff --git a/dune-workspace b/dune-workspace index a017b55..42130a0 100644 --- a/dune-workspace +++ b/dune-workspace @@ -1,2 +1,2 @@ -(lang dune 3.12) +(lang dune 3.11) (instrument_with bisect_ppx) \ No newline at end of file