From 811d2b316a87f9eebc82faec790e67c02eb8e436 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 22 Jul 2010 20:52:42 +0000
Subject: Made coercions active only when modules are imported.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13310 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 1d90d85ba7..e43228ef31 100644
--- a/CHANGES
+++ b/CHANGES
@@ -131,6 +131,7 @@ Module system
 - A functor application can be prefixed by a "!" to make it ignore any
   "Inline" annotation in the type of its argument(s) (for examples of
   use of the new features, see libraries Structures and Numbers).
+- Coercions are now active only when modules are imported.
 
 Extraction
 
-- 
cgit v1.2.3