1.1 --- a/src/Tools/solve_direct.ML	Fri May 27 10:30:08 2011 +0200
     1.2 +++ b/src/Tools/solve_direct.ML	Fri May 27 10:30:08 2011 +0200
     1.3 @@ -106,6 +106,6 @@
     1.4  
     1.5  (* hook *)
     1.6  
     1.7 -val setup = Try.register_tool (solve_directN, (auto, solve_direct));
     1.8 +val setup = Try.register_tool (solve_directN, (10, auto, solve_direct));
     1.9  
    1.10  end;