From bfe329357228f4f69ea566fb83d15b8f3280c88d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 5 Jan 2021 10:17:52 +0100
Subject: [PATCH] It is a bug fix.
---
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 fc97db59530..fccf2cad407 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,7 +25,7 @@
Plugin E-ACSL <next-release>
############################
-- Makefile [2021-01-05] Fix dependencies in bytecode-only compilation.
+-* 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
can be compiled and used from sources.
--
GitLab