From 7c755c5571b5ed98477c1cb4f380ce87e18c459d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 7 Oct 2020 10:49:03 +0200
Subject: [PATCH] [wp] changelog (new tactic)

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

diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index c2949dd2c45..1d4b72ae09a 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,7 @@
 Plugin WP <next-release>
 #########################
 
+- WP          [2020-10-07] New tactic Bit-Test range
 - WP          [2020-09-21] Added support for Why3 interactive prover (Coq)
 - WP          [2020-09-21] New option -wp-interactive <mode>
 - WP          [2020-09-21] New option -wp-interactive-timeout <seconds>
-- 
GitLab