diff --git a/tools/dune b/tools/dune index c5358bb23b..f5589b29cc 100644 --- a/tools/dune +++ b/tools/dune @@ -6,4 +6,4 @@ (executable (name ci_setup) (modules ci_setup) - (libraries opam-format unix)) \ No newline at end of file + (libraries opam-format unix))