# HG changeset patch
# User nipkow
# Date 1315811243 -7200
# Node ID 0ff207302573d3a4b15c5aa482342328bbcce0b9
# Parent  22f665a2e91c27bcf6d882e3f32dc310785160fe
NEWS fastsimp -> fastforce

diff -r 22f665a2e91c -r 0ff207302573 NEWS
--- a/NEWS	Mon Sep 12 07:55:43 2011 +0200
+++ b/NEWS	Mon Sep 12 09:07:23 2011 +0200
@@ -170,6 +170,9 @@
 
 * Declare ext [intro] by default.  Rare INCOMPATIBILITY.
 
+* The misleading name fastsimp has been renamed to fastforce,
+  but fastsimp is still available as a legacy feature.
+
 * Nitpick:
   - Added "need" and "total_consts" options.
   - Reintroduced "show_skolems" option by popular demand.