NEWS

--- a/NEWS	Tue Mar 10 08:47:45 2009 +0000
+++ b/NEWS	Tue Mar 10 17:39:06 2009 +0000
@@ -198,6 +198,9 @@
 
     find_consts strict: "_ => bool" name: "Int" -"int => int"
 
+* Linear arithmetic now ignores all inequalities when fast_arith_neq_limit
+is exceeded, instead of giving up entirely.
+
 
 *** Document preparation ***