From 53d01d0e136255a54db9bf540461d7be6339b4e3 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 15 Sep 2021 16:54:09 +0200
Subject: [PATCH] [eacsl] Fix TAB in changelog
---
src/plugins/e-acsl/doc/Changelog | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 463767584b8..6c71048d8f6 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -26,7 +26,7 @@ Plugin E-ACSL <next-release>
############################
-* E-ACSL [2021-09-13] Fix unsound reuse of previously typed recursive
- functions (frama-c/e-acsl#177)
+ functions (frama-c/e-acsl#177)
- E-ACSL [2021-08-03] Correct monitoring of code depending on libc
function calls that write memory locations (frama-c/e-acsl#157).
-* E-ACSL [2021-07-30] Fix incorrect evaluation of quantified
--
GitLab