aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/main.ml
blob: 83b4ddd2d50ae2e233a32a6d6ef6fbb2aefd0db6 (plain)
1
2

let _ = Checker.start ()