fixed quick-and-dirty mode

--- a/src/HOL/BNF/Tools/bnf_comp.ML	Sun Sep 30 22:02:34 2012 +0200
+++ b/src/HOL/BNF/Tools/bnf_comp.ML	Sun Sep 30 23:45:03 2012 +0200
@@ -194,7 +194,7 @@
 
     val set_bd_tacs =
       if ! quick_and_dirty then
-        replicate (length set_alt_thms) (K all_tac)
+        replicate ilive (K all_tac)
       else
         let
           val outer_set_bds = set_bd_of_bnf outer;