src/Pure/Isar/attrib.ML
changeset 42380 9371ea9f91fb
parent 42375 774df7c59508
child 42616 92715b528e78
     1.1 --- a/src/Pure/Isar/attrib.ML	Sun Apr 17 21:04:22 2011 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sun Apr 17 21:17:45 2011 +0200
     1.3 @@ -109,12 +109,12 @@
     1.4  
     1.5  fun attribute_i thy =
     1.6    let
     1.7 -    val attrs = #2 (Attributes.get thy);
     1.8 +    val (space, tab) = Attributes.get thy;
     1.9      fun attr src =
    1.10        let val ((name, _), pos) = Args.dest_src src in
    1.11 -        (case Symtab.lookup attrs name of
    1.12 +        (case Symtab.lookup tab name of
    1.13            NONE => error ("Unknown attribute: " ^ quote name ^ Position.str_of pos)
    1.14 -        | SOME (att, _) => (Position.report pos (Markup.attribute name); att src))
    1.15 +        | SOME (att, _) => (Position.report pos (Name_Space.markup space name); att src))
    1.16        end;
    1.17    in attr end;
    1.18