From d163bb804f3418ea8e2c89fe6e8d1c0587fd544b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 22 Nov 2023 14:52:15 +0100
Subject: Fix an issue with the nix flake and update the flake.lock

---
 compiler/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/dune')

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))
-- 
cgit v1.2.3