diff --git a/bin/dune b/bin/dune index d9d9a4a..d0f4dc7 100644 --- a/bin/dune +++ b/bin/dune @@ -1,9 +1,10 @@ (executable - (name main) - (public_name main) - (libraries exercises - miniImp - miniFun - utility) - (package miniFun) - ) + (name main) + (public_name main) + (libraries exercises + miniImp + miniFun + utility) + (package miniFun) + (modes byte exe) +)