--- a/src/HOL/SizeChange/sct.ML	Sat Oct 24 20:47:10 2009 +0200
+++ b/src/HOL/SizeChange/sct.ML	Sun Oct 25 00:00:53 2009 +0200
@@ -112,7 +112,7 @@
     end
 
 fun bind_many [] = I
-  | bind_many vs = FundefLib.tupled_lambda (foldr1 HOLogic.mk_prod vs)
+  | bind_many vs = Function_Lib.tupled_lambda (foldr1 HOLogic.mk_prod vs)
 
 (* Builds relation descriptions from a relation definition *)
 fun mk_reldescs (Abs a) =