From e817d5390d8087061e74c052d28560c9d37d90ea Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Mon, 19 Dec 2016 13:55:41 -0800 Subject: [PATCH] [oss] add missing is_logging_method Reviewed By: jeremydubreil Differential Revision: D4348189 fbshipit-source-id: b2dcfea --- infer/src/opensource/FbThreadSafety.ml | 2 ++ infer/src/opensource/FbThreadSafety.mli | 2 ++ 2 files changed, 4 insertions(+) diff --git a/infer/src/opensource/FbThreadSafety.ml b/infer/src/opensource/FbThreadSafety.ml index 84b687bcc..d949237f0 100644 --- a/infer/src/opensource/FbThreadSafety.ml +++ b/infer/src/opensource/FbThreadSafety.ml @@ -10,3 +10,5 @@ open! IStd let is_custom_init _ _ = false + +let is_logging_method _ = false diff --git a/infer/src/opensource/FbThreadSafety.mli b/infer/src/opensource/FbThreadSafety.mli index 9f828aed9..363d62ea9 100644 --- a/infer/src/opensource/FbThreadSafety.mli +++ b/infer/src/opensource/FbThreadSafety.mli @@ -10,3 +10,5 @@ open! IStd val is_custom_init : Tenv.t -> Procname.t -> bool + +val is_logging_method : Procname.t -> bool