src/Pure/Syntax/ast.ML
changeset 33955 fff6f11b1f09
parent 33038 8f9594c31de4
child 33957 e9afca2118d4
     1.1 --- a/src/Pure/Syntax/ast.ML	Tue Nov 24 14:37:23 2009 +0100
     1.2 +++ b/src/Pure/Syntax/ast.ML	Tue Nov 24 17:28:25 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 (Library.take (p, asts)), Library.drop (p, asts))
     1.8 +            if a > p then (Appl ((uncurry take) (p, asts)), (uncurry drop) (p, asts))
     1.9              else (ast, [])
    1.10            end
    1.11        | _ => (ast, []));