1.1 --- a/src/HOL/BNF/Tools/bnf_fp_n2m_sugar.ML Tue Nov 05 12:40:58 2013 +0100
1.2 +++ b/src/HOL/BNF/Tools/bnf_fp_n2m_sugar.ML Tue Nov 05 13:23:27 2013 +0100
1.3 @@ -339,8 +339,8 @@
1.4 SOME U => (U, seen_lthy)
1.5 | NONE =>
1.6 (case T of
1.7 - Type (s, Ts) =>
1.8 - if exists_subtype_in Ts T then fold_map generalize_type Ts seen_lthy |>> curry Type s
1.9 + Type (s, Ts') =>
1.10 + if exists_subtype_in Ts T then fold_map generalize_type Ts' seen_lthy |>> curry Type s
1.11 else generalize_simple_type T seen_lthy
1.12 | _ => generalize_simple_type T seen_lthy));
1.13