[wp] Update Changelog

0972d9a0 · Allan Blanchard · c4c8bf1a · 0972d9a0
Commit 0972d9a0 authored 3 years ago by Allan Blanchard
--- 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