From 0a01aecaac9726580573c97a3143404492adef1a Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Mon, 2 Sep 2024 12:24:42 -0400
Subject: [PATCH] tweak changelog message

---
 CHANGELOG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 9ba3863..d9df33b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,8 +3,8 @@
 ### New Features
 
 * Added conversion of severity system tasks and elaboration system tasks (e.g.,
-  `$info`) into `$display` tasks including source file and scope information;
-  set `-E SeverityTask` to disable this new conversion
+  `$info`) into `$display` tasks that include source file and scope information;
+  pass `-E SeverityTask` to disable this new conversion
 * Added parsing support for `not`, `strong`, `weak`, `nexttime`, and
   `s_nexttime` in assertion property expressions
 * Added `--bugpoint` utility for minimizing test cases for issue submission