diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 5530d826bccb14f995d230f11bdcf06ecdb01f9a..4010468d9d2e1495fe7210d3f05699f342bb15c3 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,8 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +-* E-ACSL [2015/08/12] Fix bug #0001817: Literal strings in global + arrays with compound initializers are not correctly initialized. -* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc while GMP headers provided by E-ACSL are used.