diff -r 664434175578 -r e26cb20ef0cc src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Thu Sep 15 17:16:55 2005 +0200
+++ b/src/Pure/Isar/attrib.ML	Thu Sep 15 17:16:56 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.curried_lookup attrs name of
+        (case Symtab.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;