summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2022-10-27 09:47:14 +0200
committerSon HO2022-10-27 12:58:47 +0200
commitfc85993092d96f2c51cc80799ad254df3ab486d3 (patch)
treedd6a4879e5153a7a6bc2a5517e1f016c507f752d /compiler
parent1e5103b896d5e843e8c40ec600c0215673c79275 (diff)
Rename driver.ml to Driver.ml
Diffstat (limited to 'compiler')
-rw-r--r--compiler/Driver.ml (renamed from compiler/driver.ml)0
-rw-r--r--compiler/dune2
2 files changed, 1 insertions, 1 deletions
diff --git a/compiler/driver.ml b/compiler/Driver.ml
index ae9d238a..ae9d238a 100644
--- a/compiler/driver.ml
+++ b/compiler/Driver.ml
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