diff -r cb8d4c2af639 -r 58150aa44941 src/Tools/solve_direct.ML
--- a/src/Tools/solve_direct.ML	Fri May 27 10:30:08 2011 +0200
+++ b/src/Tools/solve_direct.ML	Fri May 27 10:30:08 2011 +0200
@@ -106,6 +106,6 @@
 
 (* hook *)
 
-val setup = Try.register_tool (solve_directN, (auto, solve_direct));
+val setup = Try.register_tool (solve_directN, (10, auto, solve_direct));
 
 end;