--- a/NEWS Thu Dec 05 17:58:03 2013 +0100
+++ b/NEWS Thu Dec 05 18:02:55 2013 +0100
@@ -84,6 +84,11 @@
shows up as additional case in fixpoint induction proofs.
INCOMPATIBILITY
+* Nitpick:
+ - Fixed soundness bug whereby mutually recursive datatypes could take
+ infinite values.
+
+
*** ML ***
* Toplevel function "use" refers to raw ML bootstrap environment,
@@ -549,10 +554,6 @@
sets ~> set
IMCOMPATIBILITY.
-* Nitpick:
- - Fixed soundness bug whereby mutually recursive datatypes could take
- infinite values.
-
*** ML ***