From 227677ec90764ff01bccd2fbb8795d3620451701 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 17 Nov 2021 15:42:19 +0100
Subject: [PATCH] [eacsl] Fix category of past changelog entries
---
src/plugins/e-acsl/doc/Changelog | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 65dc019e650..5c39810f4b3 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -34,10 +34,10 @@ Plugin E-ACSL <next-release>
-* E-ACSL [2021-11-23] Add support for VDSO segment on Linux.
-* e-acsl-gcc [2021-11-22] Fix e-acsl-gcc.sh detection of failures in
subcommands.
-- E-ACSL [2021-11-03] Improve runtime debug logs: the %a modifier now
+- runtime [2021-11-03] Improve runtime debug logs: the %a modifier now
outputs in hexadecimal, the debug logs now all end in new lines,
the trace now outputs to stderr.
--* E-ACSL [2021-11-03] Fix default stack size: E_ACSL_STACK_SIZE
+-* runtime [2021-11-03] Fix default stack size: E_ACSL_STACK_SIZE
is now correctly used by the runtime, the default values
have been adjusted to what was effectively used.
-* E-ACSL [2021-11-03] Now the same Frama-C options are used when parsing
--
GitLab