diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 7ebc21bcc831218e7cb08234398245af58bbc4bc..e21476509adf2b0b67d858cf0bf5604457f93481 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -27,7 +27,7 @@ Plugin E-ACSL <next-release>
 
 
 ##############################
-Plugin E-ACSL 24.0 (Manganese)
+Plugin E-ACSL 25.0 (Manganese)
 ##############################
 
 -  E-ACSL       [2022-03-04] Improve translation of `\at()` terms and