From 0b4beda1cdbf21c2a54bb46034f5ab04a2a3ad40 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosgorogiannis@fb.com>
Date: Mon, 8 Oct 2018 03:42:52 -0700
Subject: [PATCH] [starvation] also consider subclasses of Future

Reviewed By: jberdine

Differential Revision: D10192090

fbshipit-source-id: 94384a4a5
---
 infer/src/concurrency/StarvationModels.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/infer/src/concurrency/StarvationModels.ml b/infer/src/concurrency/StarvationModels.ml
index 5f838e8f7..649988fa3 100644
--- a/infer/src/concurrency/StarvationModels.ml
+++ b/infer/src/concurrency/StarvationModels.ml
@@ -119,8 +119,7 @@ let standard_matchers =
     [ { default with
         classname= "java.util.concurrent.Future"
       ; methods= ["get"]
-      ; actuals_pred= empty_or_excessive_timeout
-      ; search_superclasses= false }
+      ; actuals_pred= empty_or_excessive_timeout }
     ; { default with
         classname= "android.os.AsyncTask"
       ; methods= ["get"]