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