From 0972d9a08e692aeefcb8a53e1aadcf8ec79e6766 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 25 Jan 2022 12:07:36 +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 3bc5855e346..fa43cadb13d 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,8 @@
 Plugin WP <next-release>
 ########################
 
+- 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
 - WP          [2022-01-10] Supported decreases clause
 - TIP         [2022-01-10] New tactic Mod-Mask: rewrite bitmask into/from modulo
-- 
GitLab