From fc85993092d96f2c51cc80799ad254df3ab486d3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:47:14 +0200
Subject: Rename driver.ml to Driver.ml

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

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index e8b53fc5..0968b2be 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -7,7 +7,7 @@
  (preprocess
   (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
  (libraries ppx_deriving yojson zarith easy_logging core_unix aeneas)
- (modules driver))
+ (modules Driver))
 
 (library
  (name aeneas) ;; The name as used in the project
-- 
cgit v1.2.3