diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index cc5e3751d471203b02f5355def021fe551ad6d23..3329a913f3ce6a34ee23b0b0001699e6a67f62c6 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,7 @@
 #   <Prover>: prover
 ###############################################################################
 
+- WP          [2020/03/26] Added support for invalid-pointer predicate
 - WP          [2020/02/21] Why3 prover version fallback
 - WP          [2020/02/21] Why3 prover full-names use ':' instead of ','
 -* WP         [2020/02/20] Fixes handling of LoopCurrent in loop invariants