src/Pure/codegen.ML
changeset 33317 b4534348b8fd
parent 33222 89ced80833ac
child 33522 737589bb9bb8
     1.1 --- a/src/Pure/codegen.ML	Thu Oct 29 16:59:12 2009 +0100
     1.2 +++ b/src/Pure/codegen.ML	Thu Oct 29 17:58:26 2009 +0100
     1.3 @@ -137,7 +137,7 @@
     1.4    | args_of (Ignore :: ms) (_ :: xs) = args_of ms xs
     1.5    | args_of (_ :: ms) xs = args_of ms xs;
     1.6  
     1.7 -fun num_args_of x = length (List.filter is_arg x);
     1.8 +fun num_args_of x = length (filter is_arg x);
     1.9  
    1.10  
    1.11  (**** theory data ****)