From 4972f21e4b25cc16e0839dc3d4a4a2d0552f872d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 16 Nov 2023 10:17:50 +0100
Subject: Rename Driver.ml to Main.ml

---
 compiler/dune | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'compiler/dune')

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