changeset 55702 | 63c80031d8dd |
parent 55541 | fd9ea8ae28f6 |
child 55756 | 565a20b22f09 |
--- a/src/HOL/Tools/BNF/bnf_lfp.ML Sun Feb 23 22:51:11 2014 +0100 +++ b/src/HOL/Tools/BNF/bnf_lfp.ML Sun Feb 23 22:51:11 2014 +0100 @@ -1406,7 +1406,7 @@ val set_bss = map (flat o map2 (fn B => fn b => - if member (op =) resDs (TFree B) then [] else [b]) resBs) set_bss0; + if member (op =) deads (TFree B) then [] else [b]) resBs) set_bss0; val ctor_witss = let