diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 022f7f94c48a7b130f084747ea95af70a73102f8..6a8454d1f870128ebd5abfa85b2cc9a1daefc381 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -26,6 +26,7 @@ Plugin E-ACSL <next-release>
 ############################
 
 - E-ACSL        [2022-19-07] Improve typing precision of variables appearing in comparisons
+-* E-ACSL       [2022-09-08] Fix typing of recursive predicates (frama-c/e-acsl#198)
 -* E-ACSL       [2022-17-06] Fix wrong cast from pointer to integer (frama-c/frama-c#1119)
 
 ##############################