aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rw-r--r--bin/dune2
-rw-r--r--bin/main.ml5
2 files changed, 1 insertions, 6 deletions
diff --git a/bin/dune b/bin/dune
index 9c5253a..f36ecf1 100644
--- a/bin/dune
+++ b/bin/dune
@@ -3,5 +3,5 @@
(name main)
(modules main)
(libraries relational_engine)
- (package relational_engine)
+ (package sakura)
(modes byte exe))
diff --git a/bin/main.ml b/bin/main.ml
index 90d4f24..c5e2c1d 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -3,9 +3,4 @@ let main () =
print_endline digest
let () =
- (* let response = *)
- (* Relational_engine.Relation.write_and_retrieve() *)
- (* in match response with *)
- (* | Ok response -> print_endline response *)
- (* | Error err -> print_endline err; *)
main ()