aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
index 092d83a..b492bd7 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,5 +1,7 @@
(executable
(public_name relational_engine)
(name main)
+ (modules main)
(libraries relational_engine)
+ (package relational_engine)
(modes byte exe))