From 0e472be32fac0d188d3c8acc3982104d453d95ec Mon Sep 17 00:00:00 2001
From: Pierre Villemot <tiky.halbaroth@gmail.com>
Date: Wed, 26 Jul 2023 16:02:46 +0200
Subject: [PATCH] Review changes

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

diff --git a/CHANGES.md b/CHANGES.md
index ab62a9ecb..96aef1432 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -10,7 +10,7 @@
 * support of some options of the SMT-LIB statement (set-option) (PR #608)
 * support for the (get-model) statement (required the Dolmen frontend) (PR #614)
 * support the QF_BV and BV smtlib2 logic (PR #730, #733, #745).
-* improve the ite reasoning (simplification of some ites) (PR #731)
+* improve the ite preprocessing (simplification of some ites) (PR #731)
 
 ### Build
 * update to the new version of ocplib-simplex (0.5)