changeset 43021 | 5910dd009d0e |
parent 43020 | abb5d1f907e4 |
child 43024 | 58150aa44941 |
--- a/src/Tools/try.ML Fri May 27 10:30:08 2011 +0200 +++ b/src/Tools/try.ML Fri May 27 10:30:08 2011 +0200 @@ -57,6 +57,7 @@ fun try_tools state = get_tools (Proof.theory_of state) + |> tap (fn _ => Output.urgent_message "Trying...") |> Par_List.get_some (fn (name, (_, tool)) => case try (tool false) state of