diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/Main.ml (renamed from compiler/Driver.ml) | 0 | ||||
| -rw-r--r-- | compiler/dune | 6 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/Driver.ml b/compiler/Main.ml index 94e50a08..94e50a08 100644 --- a/compiler/Driver.ml +++ b/compiler/Main.ml 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 |