src/Pure/Thy/thy_output.ML
changeset 39129 976af4e27cde
parent 39128 93a7365fb4ee
child 39134 917b4b6ba3d2
     1.1 --- a/src/Pure/Thy/thy_output.ML	Fri Sep 03 23:54:48 2010 +0200
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Sat Sep 04 00:31:21 2010 +0200
     1.3 @@ -583,7 +583,8 @@
     1.4  
     1.5  fun goal_state name main_goal = antiquotation name (Scan.succeed ())
     1.6    (fn {state, context = ctxt, ...} => fn () => output ctxt
     1.7 -    [Pretty.chunks (Proof.pretty_goals main_goal (proof_state state))]);
     1.8 +    [Pretty.chunks
     1.9 +      (Proof.pretty_goals main_goal (Proof.map_context (K ctxt) (proof_state state)))]);
    1.10  
    1.11  in
    1.12