summaryrefslogtreecommitdiff
path: root/driver/optmain.ml
blob: 7216f34e06c57252cebd2ac39eac0b0ade38863d (plain)
1
2
let () =
  exit (Optmaindriver.main Sys.argv Format.err_formatter)