| changeset 53171 | a5e54d4d9081 |
| parent 52953 | 2c927b7501c5 |
| child 53839 | 274a892b1230 |
--- a/src/Tools/try.ML Fri Aug 23 20:09:34 2013 +0200 +++ b/src/Tools/try.ML Fri Aug 23 20:35:50 2013 +0200 @@ -142,7 +142,6 @@ (* hybrid tool setup *) -fun tool_setup tool = - (Context.>> (Context.map_theory (register_tool tool)); print_function tool) +fun tool_setup tool = (Theory.setup (register_tool tool); print_function tool) end;