# HG changeset patch
# User webertj
# Date 1236706746 0
# Node ID 9501af91c4a3510a53dcf9c4dc0ff4d5de32299b
# Parent  15dc25f8a0e2bf994cbb00bb6e4ebd498bf89fcf
Instead of giving up entirely, arith now ignores all inequalities when there are too many.

diff -r 15dc25f8a0e2 -r 9501af91c4a3 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 ***