From 53fc45d39ea855ae10ff1924315577c41792993c Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosgorogiannis@fb.com>
Date: Tue, 4 Dec 2018 05:22:54 -0800
Subject: [PATCH] [concurrency] remove bad lock model

Reviewed By: da319

Differential Revision: D13303840

fbshipit-source-id: 9a0e22806
---
 infer/src/concurrency/ConcurrencyModels.ml | 1 -
 1 file changed, 1 deletion(-)

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"