diff options
| author | Son Ho | 2023-11-16 10:17:50 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-16 10:17:50 +0100 |
| commit | 4972f21e4b25cc16e0839dc3d4a4a2d0552f872d (patch) | |
| tree | e7497ae134a1039125bf351819b3de8abd5cbbbe /compiler/dune | |
| parent | a27efd1ed08bc9583752445d9eda7a693c0c7379 (diff) | |
Rename Driver.ml to Main.ml
Diffstat (limited to 'compiler/dune')
| -rw-r--r-- | compiler/dune | 6 |
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 |