diff options
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/dune b/compiler/dune index 0d0a8017..3a40e086 100644 --- a/compiler/dune +++ b/compiler/dune @@ -1,6 +1,6 @@ (executable (name main) - (public_name aeneas_main) + (public_name aeneas) (package aeneas) (libraries aeneas) (modules Main)) |