1.1 --- a/NEWS	Thu Dec 05 17:58:03 2013 +0100
     1.2 +++ b/NEWS	Thu Dec 05 18:02:55 2013 +0100
     1.3 @@ -84,6 +84,11 @@
     1.4  shows up as additional case in fixpoint induction proofs.
     1.5  INCOMPATIBILITY
     1.6  
     1.7 +* Nitpick:
     1.8 +  - Fixed soundness bug whereby mutually recursive datatypes could take
     1.9 +    infinite values.
    1.10 +
    1.11 +
    1.12  *** ML ***
    1.13  
    1.14  * Toplevel function "use" refers to raw ML bootstrap environment,
    1.15 @@ -549,10 +554,6 @@
    1.16      sets ~> set
    1.17  IMCOMPATIBILITY.
    1.18  
    1.19 -* Nitpick:
    1.20 -  - Fixed soundness bug whereby mutually recursive datatypes could take
    1.21 -    infinite values.
    1.22 -
    1.23  
    1.24  *** ML ***
    1.25