src/Pure/Isar/attrib.ML
changeset 30190 479806475f3c
parent 29690 c81f8b2967e1
child 30211 556d1810cdad
     1.1 --- a/src/Pure/Isar/attrib.ML	Sun Mar 01 16:48:06 2009 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sun Mar 01 23:36:12 2009 +0100
     1.3 @@ -198,7 +198,7 @@
     1.4        let
     1.5          val ths = Facts.select thmref fact;
     1.6          val atts = map (attribute_i thy) srcs;
     1.7 -        val (context', ths') = foldl_map (Library.apply atts) (context, ths);
     1.8 +        val (context', ths') = Library.foldl_map (Library.apply atts) (context, ths);
     1.9        in (context', pick name ths') end)
    1.10    end);
    1.11