diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 0d7380accd3846f1015cd02ee92dca018a41e818..c05704c94c67baf0658a7209701a7be811bfffd2 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-* E-ACSL       [2021-07-19] Fix crash occurring when two or more successive
+                logic coercions were done in a term (frama-c/e-acsl#172).
 -* E-ACSL       [2021-07-19] Fix crash when raising some user errors
                 (frama-c/e-acsl#170).
 -* E-ACSL       [2021-07-16] Fix crash when using some built-in labels