author | blanchet |
Sun, 15 Mar 2015 22:00:15 +0100 | |
changeset 59709 | 44dabb962e48 |
parent 59698 | d4ce901f20c5 |
child 59710 | 4aa63424ba89 |
--- a/src/HOL/Tools/ATP/atp_problem_generate.ML Sat Mar 14 21:16:29 2015 +0100 +++ b/src/HOL/Tools/ATP/atp_problem_generate.ML Sun Mar 15 22:00:15 2015 +0100 @@ -2424,7 +2424,7 @@ forall is_some ctrs') end in - ctrss |> map datatype_of_ctrs |> filter_out (null o #2) + ctrss |> map datatype_of_ctrs |> filter #3 end else []