# HG changeset patch
# User nipkow
# Date 1470893818 -7200
# Node ID fac9097dc772ecde95c236328f4cc17d2de41db2
# Parent  d31650b377c45f6fde70b949569a72564b49ea1c
tuned

diff -r d31650b377c4 -r fac9097dc772 NEWS
--- a/NEWS	Wed Aug 10 22:34:14 2016 +0200
+++ b/NEWS	Thu Aug 11 07:36:58 2016 +0200
@@ -51,7 +51,7 @@
 
 * Splitter in simp, auto and friends:
 - The syntax "split add" has been discontinued, use plain "split".
-- For situations with many nested conditional or case expressions,
+- For situations with many conditional or case expressions,
 there is an alternative splitting strategy that can be much faster.
 It is selected by writing "split!" instead of "split". It applies
 safe introduction and elimination rules after each split rule.