src/Pure/Isar/attrib.ML
changeset 39507 839873937ddd
parent 39166 19efc2af3e6c
child 39557 fe5722fce758
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Sep 17 17:31:20 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Sep 17 20:18:27 2010 +0200
     1.3 @@ -108,7 +108,7 @@
     1.4        let val ((name, _), pos) = Args.dest_src src in
     1.5          (case Symtab.lookup attrs name of
     1.6            NONE => error ("Unknown attribute: " ^ quote name ^ Position.str_of pos)
     1.7 -        | SOME (att, _) => (Position.report (Markup.attribute name) pos; att src))
     1.8 +        | SOME (att, _) => (Position.report pos (Markup.attribute name); att src))
     1.9        end;
    1.10    in attr end;
    1.11