Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick_peephole.ML
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)
isabelle