diff options
Diffstat (limited to 'bin/main.ml')
| -rw-r--r-- | bin/main.ml | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/bin/main.ml b/bin/main.ml index db591ff..5888b2b 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,9 +1,7 @@ let () = - begin - (* let response = *) - (* Relational_engine.Relation.write_and_retrieve() *) - (* in match response with *) - (* | Ok response -> print_endline response *) - (* | Error err -> print_endline err; *) - Relational_engine.Server.start() - end + (* let response = *) + (* Relational_engine.Relation.write_and_retrieve() *) + (* in match response with *) + (* | Ok response -> print_endline response *) + (* | Error err -> print_endline err; *) + Relational_engine.Server.start () |