From 9163b319a684fd2c7da35a7f793e1b2c8df96c2c Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Fri, 19 Feb 2016 03:17:05 -0800 Subject: [PATCH] Fix whitespace issues from last diff Reviewed By: jvillard Differential Revision: D2949422 fb-gh-sync-id: 3babf76 shipit-source-id: 3babf76 --- infer/src/clang/cMain.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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