From 8762c595fd23659c807862113b537cc07770f9ea Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 3 Dec 2021 15:51:20 +0100
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 3d2fc0f9896..65dc019e650 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
Plugin E-ACSL <next-release>
############################
+-* E-ACSL [2021-12-03] Fix crash when creating an axiomatic with an
+ existing name in E-ACSL's RTL (frama-c/e-acsl#161).
-* E-ACSL [2021-12-01] Fix crash when binding a lambda-abstraction to a
local variable (frama-c/e-acsl#189).
-* e-acsl-gcc [2021-11-30] Fix e-acsl-gcc.sh bash autocompletion script and
--
GitLab