# HG changeset patch
# User hoelzl
# Date 1460642100 -7200
# Node ID 38906f0e4633a23ac2d0ad3ce9eb7601a642ed19
# Parent  1d066f6ab25d74f30ce9619c3d9d93578f67d1eb
change is incompatible

diff -r 1d066f6ab25d -r 38906f0e4633 NEWS
--- a/NEWS	Thu Apr 14 15:48:11 2016 +0200
+++ b/NEWS	Thu Apr 14 15:55:00 2016 +0200
@@ -255,6 +255,7 @@
 from ereal to ennreal:
   emeasure :: 'a measure => 'a set => ennreal
   nn_integral :: 'a measure => ('a => ennreal) => ennreal
+INCOMPATIBILITY.
 
 *** ML ***