From cf3a40c77395ef47ec852fd50f5160e5049aeefe Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Tue, 12 Jan 2021 11:15:38 +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 fccf2cad407..00529a3b01a 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-01-12] Fix crash when comparing two structs, which is
+                currently unsupported (frama-c/e-acsl#139).
 -* Makefile     [2021-01-05] Fix dependencies in bytecode-only compilation.
 -  E-ACSL       [2020-12-09] Add RTL support for Windows.
 -  E-ACSL       [2020-11-17] Update e-acsl-gcc.sh so that the library dlmalloc
-- 
GitLab