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