diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index fa43cadb13d8455a11d8ba92271d37daaad562c6..8b9ad9940e7b9dc1ae629be631c7198c39a9333e 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,8 @@
 Plugin WP <next-release>
 ########################
 
+- WP          [2022-02-02] New option -wp-smoke-dead-local-init, smoke tests on
+                           local variables initialization
 - WP          [2022-01-25] Removed deprecated "native:coq" prover
 - WP          [2022-01-25] Removed deprecated "native:alt-ergo" prover
 - WP          [2022-01-10] Supported general variant measure