diff --git a/Changelog b/Changelog
index a241d9295b7723d1ee7d85cb036598583542a103..eaf5804a1af246cec1198e505980c952fd91159b 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,7 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Kernel    [2023-09-04] Fix #@846 (printing ACSL attribute in ghost code)
 o   Kernel    [2023-07-24] Expose Cil functions for type compatibility
 
 ###############################################################################