src/Pure/goal_display.ML
changeset 50201 c26369c9eda6
parent 49847 ed5080c03165
child 50537 08ce81aeeacc
     1.1 --- a/src/Pure/goal_display.ML	Sun Nov 25 18:50:13 2012 +0100
     1.2 +++ b/src/Pure/goal_display.ML	Sun Nov 25 19:49:24 2012 +0100
     1.3 @@ -116,8 +116,7 @@
     1.4        | pretty_list name prt lst = [Pretty.big_list name (map prt lst)];
     1.5  
     1.6      fun pretty_subgoal (n, A) =
     1.7 -      Pretty.markup Isabelle_Markup.subgoal
     1.8 -        [Pretty.str (" " ^ string_of_int n ^ ". "), prt_term A];
     1.9 +      Pretty.markup Markup.subgoal [Pretty.str (" " ^ string_of_int n ^ ". "), prt_term A];
    1.10      fun pretty_subgoals As = map pretty_subgoal (1 upto length As ~~ As);
    1.11  
    1.12      val pretty_ffpairs = pretty_list "flex-flex pairs:" (pretty_flexpair ctxt);