From da6410ca89d63ebe70b2f58a0e41d58b9b66b71f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 2 Feb 2022 15:24:04 +0000
Subject: [PATCH] [wp] Update Changelog

---
 src/plugins/wp/Changelog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index fa43cadb13d..8b9ad9940e7 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
-- 
GitLab