diff -r 6f549f5e7066 -r e9afca2118d4 src/Pure/Syntax/ast.ML
--- a/src/Pure/Syntax/ast.ML	Tue Nov 24 17:28:44 2009 +0100
+++ b/src/Pure/Syntax/ast.ML	Wed Nov 25 09:13:46 2009 +0100
@@ -158,7 +158,7 @@
       (case (ast, pat) of
         (Appl asts, Appl pats) =>
           let val a = length asts and p = length pats in
-            if a > p then (Appl ((uncurry take) (p, asts)), (uncurry drop) (p, asts))
+            if a > p then (Appl (take p asts), drop p asts)
             else (ast, [])
           end
       | _ => (ast, []));