changeset 50904 | 3d2d62d29302 |
parent 50876 | e6317e8b11db |
child 51003 | 198cb05fb35b |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML Tue Jan 15 20:22:01 2013 +0100 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML Tue Jan 15 20:51:30 2013 +0100 @@ -217,8 +217,7 @@ provers else provers - |> (if blocking then Par_List.map else map) - (launch problem #> fst) + |> (if blocking then Par_List.map else map) (launch problem #> fst) |> max_outcome_code |> rpair state end fun get_facts label is_appropriate_prop provers =