aboutsummaryrefslogtreecommitdiffstats
path: root/bin/main.ml
blob: 40429e3b9e37077973c7c79579d1ee0f7c583b9d (plain) (blame)
1
2
3
4
5
let () =
  begin
    (* let _ = Relational_engine.Relation.write_and_retrieve() in () *)
    Relational_engine.Server.start()
  end