changeset 34936 | c4f04bee79f3 |
parent 34126 | 8a2c5d7aff51 |
child 34982 | 7b8c366e34a2 |
--- a/src/HOL/Tools/Nitpick/nitpick_peephole.ML Thu Jan 14 17:06:35 2010 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_peephole.ML Wed Jan 20 10:38:06 2010 +0100 @@ -421,8 +421,8 @@ if is_one_rel_expr r1 then s_or (s_subset r1 r21) (s_subset r1 r22) else - if s_subset r1 r21 = True orelse s_subset r1 r22 = True - orelse r1 = r2 then + if s_subset r1 r21 = True orelse s_subset r1 r22 = True orelse + r1 = r2 then True else Subset (r1, r2)