| changeset 43018 | 121aa59b4d17 |
| parent 40931 | 061b8257ab9f |
| child 43020 | abb5d1f907e4 |
--- 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 @@ -97,8 +97,8 @@ (* hook *) -val auto_solve_direct = solve_direct true +val auto_solve_direct = solve_direct true; -val setup = Auto_Tools.register_tool (auto, auto_solve_direct); +val setup = Try.register_tool (auto, auto_solve_direct); end;