# HG changeset patch
# User traytel
# Date 1411628474 -7200
# Node ID 23124b918bfb41b7426b6d6f424d9e5b44b3f462
# Parent  566117a31cc02398329dae4cdce14525e47229ed
even more deads go to the end (continuation of e3a01b73579f)

diff -r 566117a31cc0 -r 23124b918bfb src/HOL/Tools/BNF/bnf_fp_util.ML
--- a/src/HOL/Tools/BNF/bnf_fp_util.ML	Thu Sep 25 11:38:56 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_fp_util.ML	Thu Sep 25 09:01:14 2014 +0200
@@ -607,7 +607,7 @@
     val ((kill_poss, _), (bnfs', ((_, unfold_set'), lthy'))) =
       normalize_bnfs norm_qualify Ass Ds (K (resBs' @ Xs)) bnfs accum;
 
-    val Dss = map3 (append oo map o nth) livess kill_poss deadss;
+    val Dss = map3 (uncurry append oo curry swap oo map o nth) livess kill_poss deadss;
 
     fun pre_qualify b = Binding.qualify false (Binding.name_of b)
       #> not (Config.get lthy' bnf_note_all) ? Binding.conceal;