diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 8f683ce6a6a8cc08073ac168759770839f8856a4..e78408bfb930b46f82a4a53c6acb9cb30180d27d 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -30,7 +30,7 @@ Plugin E-ACSL 22.0 (Titanium) ############################# -* E-ACSL [2020-11-16] Fix soundness bug when checking - initialization of a chunk of heap memory block. + initialization of a chunk of heap memory block. - E-ACSL [2020-10-14] Add Support for Variadic generated functions in the AST (frama-c/e-acsl#128). - E-ACSL [2020-10-06] Add support for the `\separated` predicate.