src/Pure/Syntax/ast.ML
changeset 33957 e9afca2118d4
parent 33955 fff6f11b1f09
child 38328 36afb56ec49e
     1.1 --- a/src/Pure/Syntax/ast.ML	Tue Nov 24 17:28:44 2009 +0100
     1.2 +++ b/src/Pure/Syntax/ast.ML	Wed Nov 25 09:13:46 2009 +0100
     1.3 @@ -158,7 +158,7 @@
     1.4        (case (ast, pat) of
     1.5          (Appl asts, Appl pats) =>
     1.6            let val a = length asts and p = length pats in
     1.7 -            if a > p then (Appl ((uncurry take) (p, asts)), (uncurry drop) (p, asts))
     1.8 +            if a > p then (Appl (take p asts), drop p asts)
     1.9              else (ast, [])
    1.10            end
    1.11        | _ => (ast, []));