From 3336c49ed24d475c50d323ed2e12adc12b79f6d5 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Tue, 21 Mar 2017 15:09:17 +0100 Subject: [PATCH] [changelog] fix typo --- 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 085fa6aec19..845dd03c99a 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-gcc.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