Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Increasing the default limits in order to prevent unnecessary failures.
authorpaulson
Tue, 09 Sep 2008 16:15:25 +0200
changeset 28173 f7b5b963205e
parent 28172 a46751a649af
child 28174 626f0a79a4b9
Increasing the default limits in order to prevent unnecessary failures.
src/Pure/unify.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/unify.ML	Mon Sep 08 22:14:39 2008 +0200
+++ b/src/Pure/unify.ML	Tue Sep 09 16:15:25 2008 +0200
@@ -33,11 +33,11 @@
 (*Unification options*)
 
 (*tracing starts above this depth, 0 for full*)
-val trace_bound_value = Config.declare true "unify_trace_bound" (Config.Int 25);
+val trace_bound_value = Config.declare true "unify_trace_bound" (Config.Int 50);
 val trace_bound = Config.int trace_bound_value;
 
 (*unification quits above this depth*)
-val search_bound_value = Config.declare true "unify_search_bound" (Config.Int 30);
+val search_bound_value = Config.declare true "unify_search_bound" (Config.Int 60);
 val search_bound = Config.int search_bound_value;
 
 (*print dpairs before calling SIMPL*)
isabelle