diff --git a/Changelog b/Changelog
index ebfe75ec03429a1096b2c0f83621d2c4d306440c..5c4eeb2d8acaeda9d7c0e51889f43721cd96eb38 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Kernel    [2024-04-04] Avoid ambiguous pretty-printing when C labels match
+              the name of an ACSL built-in label (fix #@1359)
 -!  Kernel    [2024-04-02] Systematically abort when a function is redeclared
               with an incompatible type, instead of trying to finish
               type-checking, preventing misleading error msgs after the first