From 86904c036c63c9f0e40a288a4f6d35760d711e66 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 4 Apr 2024 13:43:37 +0000
Subject: [PATCH] Update Changelog after merge of !4511
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index ebfe75ec034..5c4eeb2d8ac 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
--
GitLab