--- 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