From 4688a3b9750827eb0f5f61066ca617efcd97bc8c Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Sun, 14 Aug 2016 18:36:30 +0200
Subject: CLEANUP: functions "Context.{Rel,Named}.Context.fold" were renamed to
 "Context.{Rel,Named}.fold_constr"

---
 dev/doc/changes.txt | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index fcee79e07e..7b0ba17009 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -1,3 +1,12 @@
+=========================================
+= CHANGES BETWEEN COQ V8.6 AND COQ V8.7 =
+=========================================
+
+We renamed the following functions:
+
+  Context.Rel.Declaration.fold   -> Context.Rel.Declaration.fold_constr
+  Context.Named.Declaration.fold -> Context.Named.Declaration.fold_constr
+
 =========================================
 = CHANGES BETWEEN COQ V8.5 AND COQ V8.6 =
 =========================================
-- 
cgit v1.2.3