# HG changeset patch
# User blanchet
# Date 1275407520 -7200
# Node ID e0940e692abb1c5320bc353e89a6b4d433563c87
# Parent  694aebcd602b3cf24c630fc7240c04894c63bfe2
update NEWS

diff -r 694aebcd602b -r e0940e692abb NEWS
--- a/NEWS	Tue Jun 01 17:51:41 2010 +0200
+++ b/NEWS	Tue Jun 01 17:52:00 2010 +0200
@@ -425,7 +425,8 @@
   - Improved efficiency of "destroy_constrs" optimization.
   - Fixed soundness bugs related to "destroy_constrs" optimization and
     record getters.
-  - Fixed soundness bug related to higher-order constructors
+  - Fixed soundness bug related to higher-order constructors.
+  - Fixed soundness bug when "full_descrs" is enabled.
   - Improved precision of set constructs.
   - Added "atoms" option.
   - Added cache to speed up repeated Kodkod invocations on the same