From 59786484d2980a8a7ea84b6379acb08b7d79fa70 Mon Sep 17 00:00:00 2001 From: Thibaut Benjamin <thibaut.benjamin@gmail.com> Date: Tue, 9 Aug 2022 10:38:40 +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 022f7f94c48..6a8454d1f87 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -26,6 +26,7 @@ Plugin E-ACSL <next-release> ############################ - E-ACSL [2022-19-07] Improve typing precision of variables appearing in comparisons +-* E-ACSL [2022-09-08] Fix typing of recursive predicates (frama-c/e-acsl#198) -* E-ACSL [2022-17-06] Fix wrong cast from pointer to integer (frama-c/frama-c#1119) ############################## -- GitLab