From bee62de00b161875c97f228ce1b8a72612dcf58b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 20 Feb 2020 18:31:25 +0100
Subject: [PATCH] Update WP Changelog after merging !2543

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

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 1a3e5223da2..4f52be2cbe9 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,7 @@
 #   <Prover>: prover
 ###############################################################################
 
+-* WP         [2020/02/20] Fixes handling of LoopCurrent in loop invariants 
 - WP          [2019/12/04] Added option -wp-run-all-provers
 
 ##########################
-- 
GitLab