From ae8b73e4806821861ddf6af939edecf1b7c8ffee Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosgorogiannis@fb.com>
Date: Tue, 20 Feb 2018 01:42:20 -0800
Subject: [PATCH] [ownership] set default to off

Reviewed By: sblackshear, da319, dulmarod

Differential Revision: D7024235

fbshipit-source-id: d9ac386
---
 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 dd8290d6a..156807f65 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -721,7 +721,7 @@ and ( annotation_reachability
   and litho = mk_checker ~long:"litho" "Experimental checkers supporting the Litho framework"
   and liveness =
     mk_checker ~long:"liveness" ~default:true "the detection of dead stores and unused variables"
-  and ownership = mk_checker ~long:"ownership" ~default:true "the detection of C++ lifetime bugs"
+  and ownership = mk_checker ~long:"ownership" ~default:false "the detection of C++ lifetime bugs"
   and printf_args =
     mk_checker ~long:"printf-args" ~default:true
       "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\")`"