changeset 59058 | a78612c67ec0 |
parent 55890 | bd7927cca152 |
child 69593 | 3dda49e08b9d |
--- a/src/HOL/Tools/Nitpick/nitpick_rep.ML Wed Nov 26 16:55:43 2014 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_rep.ML Wed Nov 26 20:05:34 2014 +0100 @@ -213,7 +213,7 @@ | min_rep (Struct Rs) _ = Struct Rs | min_rep _ (Struct Rs) = Struct Rs | min_rep (R1 as Func (R11, R12)) (R2 as Func (R21, R22)) = - (case pairself is_opt_rep (R12, R22) of + (case apply2 is_opt_rep (R12, R22) of (true, false) => R1 | (false, true) => R2 | _ => if R11 = R21 then Func (R11, min_rep R12 R22)