diff options
| -rwxr-xr-x | dune-project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dune-project b/dune-project index 3ba9568..592ff77 100755 --- a/dune-project +++ b/dune-project @@ -2,7 +2,7 @@ (using menhir 2.0) (generate_opam_files true) -(implicit_transitive_deps true) +(implicit_transitive_deps false) (authors "Sébastien Dailly") (maintainers "Sébastien Dailly") |