diff --git a/facebook-clang-plugins b/facebook-clang-plugins index 2342395ed..1f77ff5f3 160000 --- a/facebook-clang-plugins +++ b/facebook-clang-plugins @@ -1 +1 @@ -Subproject commit 2342395ed9d6995ddc2ca879346454c884617529 +Subproject commit 1f77ff5f316a72aacdf9816ce36190a5d869a952 diff --git a/infer/src/clang/ClangCommand.ml b/infer/src/clang/ClangCommand.ml index cd069d1eb..09746c9ce 100644 --- a/infer/src/clang/ClangCommand.ml +++ b/infer/src/clang/ClangCommand.ml @@ -159,7 +159,7 @@ let clang_cc1_cmd_sanitizer cmd = else if String.equal option "-isystem" then match include_override_regex with | Some regexp when Str.string_match regexp arg 0 -> - fcp_dir ^/ "clang" ^/ "install" ^/ "lib" ^/ "clang" ^/ "7.0.0" ^/ "include" + fcp_dir ^/ "clang" ^/ "install" ^/ "lib" ^/ "clang" ^/ "7.0.1" ^/ "include" | _ -> arg else arg