| changeset 43024 | 58150aa44941 |
| parent 43020 | abb5d1f907e4 |
| child 43025 | 5a0dec7bc099 |
--- 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;