diff --git a/infer/src/concurrency/ConcurrencyModels.ml b/infer/src/concurrency/ConcurrencyModels.ml index 9b362f9d1..31834ce41 100644 --- a/infer/src/concurrency/ConcurrencyModels.ml +++ b/infer/src/concurrency/ConcurrencyModels.ml @@ -108,7 +108,6 @@ end = struct let guards = [ "apache::thrift::concurrency::Guard" - ; "apache::thrift::concurrency::Synchronized" ; "apache::thrift::concurrency::RWGuard" ; "folly::SharedMutex::ReadHolder" ; "folly::SharedMutex::WriteHolder"