From ca22d6d7fff49e3e581bff088da6e3faef5d71d6 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 14 Mar 2025 09:39:40 +0000
Subject: [PATCH] Update Changelog with Clang 19 compat

---
 CHANGELOG.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 785a70b5..6284c0aa 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Version +dev
+
+- Compatibility with Clang 19
+
 # Version 0.0.17
 
 - Compatibility with Frama-C 30 Zinc
-- 
GitLab