src/Pure/General/symbol_pos.ML
changeset 50201 c26369c9eda6
parent 48992 0518bf89c777
child 50239 fb579401dc26
     1.1 --- a/src/Pure/General/symbol_pos.ML	Sun Nov 25 18:50:13 2012 +0100
     1.2 +++ b/src/Pure/General/symbol_pos.ML	Sun Nov 25 19:49:24 2012 +0100
     1.3 @@ -71,7 +71,7 @@
     1.4  
     1.5      fun err (syms, msg) = fn () =>
     1.6        text () ^ get_pos syms ^
     1.7 -      Markup.markup Isabelle_Markup.no_report (" at " ^ Symbol.beginning 10 (map symbol syms)) ^
     1.8 +      Markup.markup Markup.no_report (" at " ^ Symbol.beginning 10 (map symbol syms)) ^
     1.9        (case msg of NONE => "" | SOME m => "\n" ^ m ());
    1.10    in Scan.!! err scan end;
    1.11