diff -r 5b649fb2f2e1 -r a78612c67ec0 src/Pure/type_infer_context.ML
--- a/src/Pure/type_infer_context.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/Pure/type_infer_context.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -219,7 +219,7 @@
       quote (Syntax.string_of_typ ctxt (Type (a, replicate (length Ts) dummyT)));
 
     fun unif (T1, T2) (env as (tye, _)) =
-      (case pairself (`Type_Infer.is_paramT o Type_Infer.deref tye) (T1, T2) of
+      (case apply2 (`Type_Infer.is_paramT o Type_Infer.deref tye) (T1, T2) of
         ((true, TVar (xi, S)), (_, T)) => assign xi T S env
       | ((_, T), (true, TVar (xi, S))) => assign xi T S env
       | ((_, Type (a, Ts)), (_, Type (b, Us))) =>