src/Pure/Tools/nbe_eval.ML
changeset 23178 07ba6b58b3d2
parent 22554 d1499fff65d8
child 23397 2cc3352f6c3c
     1.1 --- a/src/Pure/Tools/nbe_eval.ML	Thu May 31 23:02:16 2007 +0200
     1.2 +++ b/src/Pure/Tools/nbe_eval.ML	Thu May 31 23:47:36 2007 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4    | string_of_nterm(AbsN(n,t)) =
     1.5        "(Abs " ^ string_of_int n ^ " " ^ string_of_nterm t ^ ")";
     1.6  
     1.7 -fun apps t args = foldr (fn (y,x) => A(x,y)) t args;
     1.8 +fun apps t args = fold_rev (fn y => fn x => A(x,y)) args t;
     1.9  
    1.10  (* ------------------------------ The semantical universe --------------------- *)
    1.11