changeset 17412 | e26cb20ef0cc |
parent 17221 | 6cd180204582 |
child 17496 | 26535df536ae |
--- 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;