From 838bf1cfa3d95eeee54f1000d1c4b87cdb6b4b38 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 24 May 2022 05:22:08 +0000
Subject: [PATCH] Fix Changelog
---
src/plugins/e-acsl/doc/Changelog | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index d89db857e08..7b213fa5830 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -29,7 +29,8 @@ Plugin E-ACSL <next-release>
##############################
Plugin E-ACSL 25.0 (Manganese)
##############################
--* E-ACSL [2022-23-05] Fix crash for quantifications over enum types (frama-c/e-acsl#199)
+
+-* E-ACSL [2022-23-05] Fix crash for quantifications over enum types (frama-c/e-acsl#199)
- E-ACSL [2022-03-04] Improve translation of `\at()` terms and
predicates (frama-c/e-acsl#108).
-* E-ACSL [2022-03-01] Fix normalization of global annotations that
--
GitLab