From b8874fb700d8d16746fb220dc9acd3cffe83c052 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 26 Mar 2020 14:37:07 +0100
Subject: [PATCH] [wp] changelog for invalid pointers

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

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index cc5e3751d47..3329a913f3c 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
-- 
GitLab