src/HOLCF/Tools/fixrec.ML
changeset 33004 715566791eb0
parent 32952 aeb1e44fbc19
child 33401 fc43fa403a69
--- a/src/HOLCF/Tools/fixrec.ML	Mon Oct 19 23:02:23 2009 +0200
+++ b/src/HOLCF/Tools/fixrec.ML	Mon Oct 19 23:02:56 2009 +0200
@@ -36,7 +36,7 @@
 
 infixr 6 ->>; val (op ->>) = cfunT;
 
-fun cfunsT (Ts, U) = foldr cfunT U Ts;
+fun cfunsT (Ts, U) = List.foldr cfunT U Ts;
 
 fun dest_cfunT (Type(@{type_name "->"}, [T, U])) = (T, U)
   | dest_cfunT T = raise TYPE ("dest_cfunT", [T], []);