diff -r b41d8e290bf8 -r 6cd180204582 src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Thu Sep 01 16:19:02 2005 +0200
+++ b/src/Pure/Isar/attrib.ML	Thu Sep 01 18:48:50 2005 +0200
@@ -104,7 +104,7 @@
     val attrs = #2 (AttributesData.get thy);
     fun attr src =
       let val ((name, _), pos) = Args.dest_src src in
-        (case Symtab.lookup (attrs, name) of
+        (case Symtab.curried_lookup attrs name of
           NONE => error ("Unknown attribute: " ^ quote name ^ Position.str_of pos)
         | SOME ((p, _), _) => transform_failure (curry ATTRIB_FAIL (name, pos)) (which p src))
       end;