From 1010fd51e587e086c123c8bab9f671c00a3936a1 Mon Sep 17 00:00:00 2001
From: Thibaut Benjamin <thibaut.benjamin@gmail.com>
Date: Tue, 19 Jul 2022 17:11:41 +0200
Subject: [PATCH] [e-acsl] update CHANGELOG

---
 src/plugins/e-acsl/doc/Changelog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 26e2eec5466..022f7f94c48 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,7 @@
 Plugin E-ACSL <next-release>
 ############################
 
+- E-ACSL        [2022-19-07] Improve typing precision of variables appearing in comparisons
 -* E-ACSL       [2022-17-06] Fix wrong cast from pointer to integer (frama-c/frama-c#1119)
 
 ##############################
-- 
GitLab