From 171ee61df045cbd9507b49600f0808813a312688 Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Fri, 13 Oct 2017 19:17:03 -0700
Subject: [PATCH] [infer][checkers] fix the filtering mechanism based on the
 analyzer name

Summary: The order of the elements in the list maters since the function `string_to_analyzer` will return the fist element found in the list. Inverting the `"biabduction"` and `"infer"` entries in the list allows D6051146 to have no functional implications.

Reviewed By: sblackshear

Differential Revision: D6055840

fbshipit-source-id: 6cf5ac2
---
 infer/src/base/Config.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index a3bbd84ba..5a0e37005 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -30,12 +30,12 @@ type analyzer =
 let equal_analyzer = [%compare.equal : analyzer]
 
 let string_to_analyzer =
-  [ ("biabduction", BiAbduction)
+  [ ("infer", BiAbduction)
+  ; ("biabduction", BiAbduction)
   ; ("capture", CaptureOnly)
   ; ("checkers", Checkers)
   ; ("compile", CompileOnly)
   ; ("crashcontext", Crashcontext)
-  ; ("infer", BiAbduction)
   ; ("linters", Linters) ]
 
 let string_of_analyzer a =