From feda615ed52f1973b0f93734be8de00a53eb8673 Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Mon, 22 Jan 2024 11:14:18 -0500
Subject: [PATCH] doc: add missing 'not' in simprocs example in RELEASES.md
 (#3206)

---
 RELEASES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASES.md b/RELEASES.md
index 78c97998d9..5a022f1e17 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -43,7 +43,7 @@ Simprocs can be scoped, manually added to `simp` commands, and suppressed using
 ```lean
 example : x + foo 2 = 12 + x := by
   set_option simprocs false in
-    /- This `simp` command does make progress since `simproc`s are disabled. -/
+    /- This `simp` command does not make progress since `simproc`s are disabled. -/
     fail_if_success simp
   simp_arith