summaryrefslogtreecommitdiff
path: root/driver/main.ml
blob: b8e4344c4cb72ba8bf6e81a65c779d17fd755ac9 (plain)
1
2
let () =
  exit (Maindriver.main Sys.argv Format.err_formatter)