From 995ffffcbb9deb3abb84c650e285a4bfca0dd4c8 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 16 Jan 2015 15:26:02 +0100
Subject: Documenting the removal of coercions between sig, sigT, sig2, etc.
 (source of incompatibility).

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

diff --git a/CHANGES b/CHANGES
index 2088fa6ff7..58cec04ca2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -405,6 +405,8 @@ Libraries
 - SetoidPermutation: a notion of permutation for lists modulo a setoid equality.
 - BigN: fixed the ocaml code doing the parsing/printing of big numbers.
 - List: a couple of lemmas added especially about no-duplication, partitions.
+- Init: Removal of the coercions between variants of sigma-types and
+  subset types (possible source of incompatibility).
 
 Changes from V8.4beta to V8.4beta2
 ==================================
-- 
cgit v1.2.3