diff --git a/src/Init/Meta.lean b/src/Init/Meta.lean
index 533fc8f809..5dbd30f84d 100644
--- a/src/Init/Meta.lean
+++ b/src/Init/Meta.lean
@@ -1218,7 +1218,7 @@ structure Config where
   etaStruct         : EtaStructMode := .all
   iota              : Bool := true
   proj              : Bool := true
-  decide            : Bool := true
+  decide            : Bool := false
   autoUnfold        : Bool := false
   deriving Inhabited, BEq, Repr