src/Pure/pattern.ML

--- a/src/Pure/pattern.ML	Fri Mar 04 11:44:26 2005 +0100
+++ b/src/Pure/pattern.ML	Fri Mar 04 15:07:34 2005 +0100
@@ -476,7 +476,7 @@
     val skel0 = Bound 0;
 
     val rhs_names =
-      Library.foldr (fn ((_, rhs), names) => add_term_free_names (rhs, names)) (rules, []);
+      foldr (fn ((_, rhs), names) => add_term_free_names (rhs, names)) [] rules;
 
     fun variant_absfree (x, T, t) =
       let