diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 395f3faead128c1f7ea7edff039dbd19ef888a2c..0355202d2b37b706e0f4203780ac6ecb77ba80d9 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,7 @@
 Plugin WP <next-release>
 ########################
 
+- WP          [2022-05-06] Upgrade to Why3 1.5
 - WP          [2022-02-28] New option -wp-fct-timeout, used to customize the
                            provers timeout per function
 - WP          [2022-02-02] New option -wp-smoke-dead-local-init, smoke tests on