src/Pure/goal_display.ML
changeset 50543 42bbe637be54
parent 50537 08ce81aeeacc
child 51958 bca32217b304
     1.1 --- a/src/Pure/goal_display.ML	Sat Dec 15 12:16:16 2012 +0100
     1.2 +++ b/src/Pure/goal_display.ML	Sat Dec 15 12:28:37 2012 +0100
     1.3 @@ -130,7 +130,7 @@
     1.4      val (As, B) = Logic.strip_horn prop;
     1.5      val ngoals = length As;
     1.6    in
     1.7 -    (if show_main_goal then [prt_term B] else []) @
     1.8 +    (if show_main_goal then [Pretty.mark Markup.goal (prt_term B)] else []) @
     1.9       (if ngoals = 0 then [Pretty.str "No subgoals!"]
    1.10        else if ngoals > goals_limit then
    1.11          pretty_subgoals (take goals_limit As) @