aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--bin/dune1
-rw-r--r--bin/main.ml4
2 files changed, 4 insertions, 1 deletions
diff --git a/bin/dune b/bin/dune
index 0888311..f0cdc01 100644
--- a/bin/dune
+++ b/bin/dune
@@ -2,3 +2,4 @@
(public_name relational_engine)
(name main)
(libraries relational_engine))
+
diff --git a/bin/main.ml b/bin/main.ml
index 7bf6048..6fe3d69 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -1 +1,3 @@
-let () = print_endline "Hello, World!"
+open Relational_engine.Hello
+
+let _ = hello ()