--- a/NEWS Mon Nov 07 22:21:57 2011 +0100
+++ b/NEWS Mon Nov 07 22:22:01 2011 +0100
@@ -76,6 +76,11 @@
a list and a nat.
+* Nitpick:
+ - Fixed infinite loop caused by the 'peephole_optim' option and affecting
+ 'rat' and 'real'.
+
+
*** FOL ***
* New "case_product" attribute (see HOL).