From a3edd74b5a66710ffebbf8b662cf648448b2652c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 3 Mar 2017 11:21:11 +0100
Subject: [PATCH] [changelog] fix flag

---
 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 3a354f53d22..085fa6aec19 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,7 +15,7 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--* E-ACSL       [2017/03/03] Remove precond rte option from e-acsl-gss.sh
+-! E-ACSL       [2017/03/03] Remove precond rte option from e-acsl-gss.sh
 -* E-ACSL       [2017/03/02] Fix bts #1740 about incorrect monitoring of
 	        memory properties when early exiting a block through
 	        goto, break or continue.
-- 
GitLab