diff --git a/infer/src/clang/cMain.ml b/infer/src/clang/cMain.ml index c29e46ffc..537f4bd16 100644 --- a/infer/src/clang/cMain.ml +++ b/infer/src/clang/cMain.ml @@ -99,19 +99,19 @@ let buffer_len = 16384 (* This function reads the json file in fname, validates it, and encoded in the AST data structure*) (* defined in Clang_ast_t. *) let validate_decl_from_file fname = - try + try Ag_util.Biniou.from_file ~len:buffer_len Clang_ast_b.read_decl fname with (Invalid_argument "Bi_inbuf.refill_from_channel") -> Printing.log_stats "WARNING: biniou buffer too short, skipping the file\n"; assert false let validate_decl_from_stdin () = - try + try Ag_util.Biniou.from_channel ~len:buffer_len Clang_ast_b.read_decl stdin with (Invalid_argument "Bi_inbuf.refill_from_channel") -> Printing.log_stats "WARNING: biniou buffer too short, skipping the file\n"; assert false - + let do_run source_path ast_path = try