simplified code
authorblanchet
Wed Nov 06 22:50:12 2013 +0100 (2013-11-06)
changeset 542840b53378080d9
parent 54283 6f0a49ed1bb1
child 54285 578371ba74cc
simplified code
src/HOL/BNF/Tools/bnf_fp_n2m_sugar.ML
     1.1 --- a/src/HOL/BNF/Tools/bnf_fp_n2m_sugar.ML	Wed Nov 06 22:42:54 2013 +0100
     1.2 +++ b/src/HOL/BNF/Tools/bnf_fp_n2m_sugar.ML	Wed Nov 06 22:50:12 2013 +0100
     1.3 @@ -339,7 +339,6 @@
     1.4              if exists (exists_subtype_in seen) mutual_Ts then
     1.5                (case gen_rhss_in gen_seen rho mutual_Ts of
     1.6                  [] => fresh_tyargs ()
     1.7 -              | [gen_tyargs] => (rho, gen_tyargs, gen_seen, lthy)
     1.8                | gen_tyargss as gen_tyargs :: gen_tyargss_tl =>
     1.9                  let
    1.10                    val unify_pairs = split_list (maps (curry (op ~~) gen_tyargs) gen_tyargss_tl);