# HG changeset patch
# User wenzelm
# Date 1220970957 -7200
# Node ID e56b8b044befb3f7d7ac7e69a45556a2d897c816
# Parent  8c0335bc9336b6ef253c5b5e39d4886e3f2ba91b
* Changed defaults for unify configuration options;

diff -r 8c0335bc9336 -r e56b8b044bef NEWS
--- a/NEWS	Tue Sep 09 16:29:34 2008 +0200
+++ b/NEWS	Tue Sep 09 16:35:57 2008 +0200
@@ -19,6 +19,11 @@
 
 *** Pure ***
 
+* Changed defaults for unify configuration options:
+
+  unify_trace_bound = 50 (formerly 25)
+  unify_search_bound = 60 (formerly 30)
+
 * Different bookkeeping for code equations:
   a) On theory merge, the last set of code equations for a particular constant
      is taken (in accordance with the policy applied by other parts of the