[helm.git] / helm / software / components / binaries / tptp2grafite / main.ml

let _ =
  let lexbuf = Lexing.from_channel stdin in
  let _ = Parser.main Lexer.yylex lexbuf in
  exit 0