1.1 --- a/NEWS	Tue Jun 01 17:51:41 2010 +0200
     1.2 +++ b/NEWS	Tue Jun 01 17:52:00 2010 +0200
     1.3 @@ -425,7 +425,8 @@
     1.4    - Improved efficiency of "destroy_constrs" optimization.
     1.5    - Fixed soundness bugs related to "destroy_constrs" optimization and
     1.6      record getters.
     1.7 -  - Fixed soundness bug related to higher-order constructors
     1.8 +  - Fixed soundness bug related to higher-order constructors.
     1.9 +  - Fixed soundness bug when "full_descrs" is enabled.
    1.10    - Improved precision of set constructs.
    1.11    - Added "atoms" option.
    1.12    - Added cache to speed up repeated Kodkod invocations on the same