diff options
| author | Son Ho | 2023-11-22 14:52:15 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-22 14:52:15 +0100 |
| commit | d163bb804f3418ea8e2c89fe6e8d1c0587fd544b (patch) | |
| tree | f7a118ae8c348f601e1e262107dcc098a5ecc2b9 /compiler/dune | |
| parent | 138ba20120c288ecef706d4d7babaaafdd0a161b (diff) | |
Fix an issue with the nix flake and update the flake.lock
Diffstat (limited to 'compiler/dune')
| -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)) |