src/HOL/ex/svc_funcs.ML

--- a/src/HOL/ex/svc_funcs.ML	Fri Mar 04 11:44:26 2005 +0100
+++ b/src/HOL/ex/svc_funcs.ML	Fri Mar 04 15:07:34 2005 +0100
@@ -243,7 +243,7 @@
 
       val body_e = mt pos body  (*evaluate now to assign into !nat_vars*)
   in 
-     Library.foldr add_nat_var (!nat_vars, body_e) 
+     foldr add_nat_var body_e (!nat_vars) 
   end;