Review changes

OCamlPro · Jul 26, 2023 · 0e472be · 0e472be
1 parent 8120500
commit 0e472be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)