# HG changeset patch
# User haftmann
# Date 1378918350 -7200
# Node ID e12f16366957c07b780db7ee2c16764ed2978a1a
# Parent  a2d2fa096e31392bbbe3aff26e1b31fafc710228
more correct NEWS

diff -r a2d2fa096e31 -r e12f16366957 NEWS
--- a/NEWS	Wed Sep 11 18:38:23 2013 +0200
+++ b/NEWS	Wed Sep 11 18:52:30 2013 +0200
@@ -212,7 +212,7 @@
   - The whole reflection stack has been decomposed into conversions.
 INCOMPATIBILITY.
 
-* Weaker precendence of syntax for big intersection and union on sets,
+* Stronger precedence of syntax for big intersection and union on sets,
 in accordance with corresponding lattice operations.  INCOMPATIBILITY.
 
 * Nested case expressions are now translated in a separate check phase