diff options
Diffstat (limited to 'bin/main.ml')
| -rw-r--r-- | bin/main.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/main.ml b/bin/main.ml index 5888b2b..5f63adb 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,7 +1,9 @@ +let main () = + Relational_engine.Server.start () let () = (* 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 () + main() |