From ee4584e2e2c0b19fa5e89f6bf340cf90497ce101 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 17 May 2018 15:30:04 -0700
Subject: [PATCH] [quandary] off-by-default

Reviewed By: jeremydubreil

Differential Revision: D8048565

fbshipit-source-id: 8e9a91a
---
 infer/src/base/Config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index dc09755f4..f917a4c61 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -737,7 +737,7 @@ and ( annotation_reachability
       "the detection of mismatch between the Java printf format strings and the argument types \
        For, example, this checker will warn about the type error in `printf(\"Hello %d\", \
        \"world\")`"
-  and quandary = mk_checker ~long:"quandary" ~default:true "the quandary taint analysis"
+  and quandary = mk_checker ~long:"quandary" ~default:false "the quandary taint analysis"
   and racerd =
     mk_checker ~long:"racerd" ~deprecated:["-threadsafety"] ~default:true
       "the RacerD thread safety analysis"