diff --git a/dune b/dune index afdb9e797..8a7bf5406 100644 --- a/dune +++ b/dune @@ -6,4 +6,3 @@ (deps (source_tree ../tests)) (action (with-stdout-to dune.inc (run ../tools/gentest.exe ../tests))))) -