diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index c16ff02fa861910b652cb905e9b218f2da7d25c9..e3b12412e74b8dd0e5e849f4ae71308b5408d84d 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,10 @@
 Plugin WP <next-release>
 ###############################################################################
 
+- WP          [2024-01-24] Introduce counter examples via the new option
+                           -wp-counter-examples. Also introduce an ACSL extension
+                           to create probes on terms for counter examples.
+
 ###############################################################################
 Plugin WP 28.0 (Nickel)
 ###############################################################################