summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
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