From ee1e3685100a98925a272de31ea1c6147e24512f Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 30 Apr 2019 12:15:44 +0200
Subject: Updating CHANGES.

---
 CHANGES.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 5ca16ae1fe..f6806de9d0 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -15,6 +15,8 @@ Unreleased changes
 
 **Tactics**
 
+- New variant change_no_check of change (usable as a documented
+  replacement of convert_concl_no_check).
 
 **Tactic language**
 
-- 
cgit v1.2.3