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_commands.ML
changeset 59058 a78612c67ec0
parent 58893 9e0ecb66d6a7
child 59936 b8ffc3dc9e24 
--- a/src/HOL/Tools/Nitpick/nitpick_commands.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_commands.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -187,7 +187,7 @@
            | ["", s2] => ("-" ^ s2, "-" ^ s2)
            | [s1, s2] => (s1, s2)
            | _ => raise Option.Option)
-          |> pairself (maxed_int_from_string min_int)
+          |> apply2 (maxed_int_from_string min_int)
       in if k1 <= k2 then k1 upto k2 else k1 downto k2 end
       handle Option.Option =>
              error ("Parameter " ^ quote name ^
isabelle