diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 65af1bd039b44a2e3ff0fb1a77a3930c47676240..04887adaf2c39474a9db7bde65c676adba1321da 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -32,9 +32,6 @@ Plugin E-ACSL <next-release> -* E-ACSL [2020-07-20] Fix unstable order of generated globals. (frama-c/e-acsl#124) -* E-ACSL [2020-07-10] Fix translation of trange (incorrect length). --* E-ACSL [2020-07-09] Decrease the number of allocated blocks when one - block is freed. --* E-ACSL [2020-07-10] Fix translation of trange (incorrect length). -* E-ACSL [2020-07-09] Decrease the number of allocated blocks when one block is freed. - E-ACSL [2020-06-19] Add support to create GMP rational from GMP