src/Pure/Tools/find_consts.ML

--- a/src/Pure/Tools/find_consts.ML	Sun Mar 01 16:48:06 2009 +0100
+++ b/src/Pure/Tools/find_consts.ML	Sun Mar 01 23:36:12 2009 +0100
@@ -111,7 +111,7 @@
     val criteria = map make_criterion (! default_criteria @ raw_criteria);
 
     val (_, consts) = (#constants o Consts.dest o Sign.consts_of) thy;
-    fun eval_entry c = foldl filter_const (SOME (c, low_ranking)) criteria;
+    fun eval_entry c = List.foldl filter_const (SOME (c, low_ranking)) criteria;
 
     val matches =
       Symtab.fold (cons o eval_entry) consts []