From cbe7a174cf6450dcfd402d407e8afefccccde92b Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 16 Jan 2015 15:34:31 +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 f0dd06e04f..3471bc61c4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -388,6 +388,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