summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/dune6
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/dune b/compiler/dune
index 8a1edd02..43ce86c8 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -1,9 +1,9 @@
(executable
- (name driver)
- (public_name aeneas_driver)
+ (name main)
+ (public_name aeneas_main)
(package aeneas)
(libraries aeneas)
- (modules Driver))
+ (modules Main))
(library
(name aeneas) ;; The name as used in the project