From 444ccc49405cb885fea63d5958fa5f6ff068bd61 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Thu, 30 Jul 2020 01:54:33 -0700
Subject: [PATCH] Fix leftover NeverJoin

Summary: D22817425 forgot to remove `NeverJoin`. Strange that CI didn't detect it :(

Reviewed By: mityal

Differential Revision: D22839452

fbshipit-source-id: dba7b078a
---
 infer/src/absint/AbstractInterpreter.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/infer/src/absint/AbstractInterpreter.ml b/infer/src/absint/AbstractInterpreter.ml
index 1b23f524b..06c017a89 100644
--- a/infer/src/absint/AbstractInterpreter.ml
+++ b/infer/src/absint/AbstractInterpreter.ml
@@ -184,11 +184,8 @@ struct
   let exec_instr pre_disjuncts analysis_data node instr =
     List.foldi pre_disjuncts ~init:[] ~f:(fun i post_disjuncts pre_disjunct ->
         let should_skip =
-          match DConfig.join_policy with
-          | `NeverJoin ->
-              false
-          | `UnderApproximateAfter n ->
-              List.length post_disjuncts >= n
+          let (`UnderApproximateAfter n) = DConfig.join_policy in
+          List.length post_disjuncts >= n
         in
         if should_skip then (
           L.d_printfln "@[<v2>Reached max disjuncts limit, skipping disjunct #%d@;@]" i ;