NEWS
changeset 62080 73fde830ddae
parent 62075 ea3360245939
child 62083 7582b39f51ed
     1.1 --- a/NEWS	Wed Jan 06 13:04:30 2016 +0100
     1.2 +++ b/NEWS	Wed Jan 06 13:04:31 2016 +0100
     1.3 @@ -551,6 +551,7 @@
     1.4  * Nitpick:
     1.5    - Fixed soundness bug in translation of "finite" predicate.
     1.6    - Fixed soundness bug in "destroy_constrs" optimization.
     1.7 +  - Fixed soundness bug in translation of "rat" type.
     1.8    - Removed "check_potential" and "check_genuine" options.
     1.9    - Eliminated obsolete "blocking" option.
    1.10