src/HOL/Nitpick_Examples/minipick.ML

--- a/src/HOL/Nitpick_Examples/minipick.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/HOL/Nitpick_Examples/minipick.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -123,7 +123,7 @@
         if pos andalso not (concrete T) then
           False
         else
-          (t1, t2) |> pairself (to_R_rep Ts)
+          (t1, t2) |> apply2 (to_R_rep Ts)
                    |> (if pos then Some o Intersect else Lone o Union)
     and to_F pos Ts t =
       (case t of