doc: fix simp configuration option default value for decide

2026-03-30 16:54:08 +00:00 · 2024-04-12 14:46:35 -07:00
1 changed files with 1 additions and 1 deletions
--- a/src/Init/MetaTypes.lean
+++ b/src/Init/MetaTypes.lean
@@ -130,7 +130,7 @@ structure Config where
  -/
  proj              : Bool := true
  /--
-  When `true` (default: `true`), rewrites a proposition `p` to `True` or `False` by inferring
+  When `true` (default: `false`), rewrites a proposition `p` to `True` or `False` by inferring
  a `Decidable p` instance and reducing it.
  -/
  decide            : Bool := false