# HG changeset patch
# User blanchet
# Date 1452081871 -3600
# Node ID 73fde830ddae05c6d31ed2d20abd404cc3edc970
# Parent  3a21fddf0328dd1bfdad41d30ee31dbd0aa154ec
updated NEWS

diff -r 3a21fddf0328 -r 73fde830ddae NEWS
--- a/NEWS	Wed Jan 06 13:04:30 2016 +0100
+++ b/NEWS	Wed Jan 06 13:04:31 2016 +0100
@@ -551,6 +551,7 @@
 * Nitpick:
   - Fixed soundness bug in translation of "finite" predicate.
   - Fixed soundness bug in "destroy_constrs" optimization.
+  - Fixed soundness bug in translation of "rat" type.
   - Removed "check_potential" and "check_genuine" options.
   - Eliminated obsolete "blocking" option.