diff --git a/facebook-clang-plugins b/facebook-clang-plugins index 05c9e572c..3267da67a 160000 --- a/facebook-clang-plugins +++ b/facebook-clang-plugins @@ -1 +1 @@ -Subproject commit 05c9e572c2375be02a0c70de22ada0389f444774 +Subproject commit 3267da67afe81c99394f22226bad294922de0875 diff --git a/infer/src/clang/cMain.ml b/infer/src/clang/cMain.ml index 1043a2e00..65a1126c4 100644 --- a/infer/src/clang/cMain.ml +++ b/infer/src/clang/cMain.ml @@ -17,7 +17,7 @@ module L = Logging open CFrontend_utils -let buffer_len = 16384 +let buffer_len = 262143 (* This function reads the json file in fname, validates it, and encoded in the AST data structure*) (* defined in Clang_ast_t. *)