added parser (and future converter) of tptp files

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

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