src/Pure/Thy/thy_output.ML

--- a/src/Pure/Thy/thy_output.ML	Fri Sep 03 23:54:48 2010 +0200
+++ b/src/Pure/Thy/thy_output.ML	Sat Sep 04 00:31:21 2010 +0200
@@ -583,7 +583,8 @@
 
 fun goal_state name main_goal = antiquotation name (Scan.succeed ())
   (fn {state, context = ctxt, ...} => fn () => output ctxt
-    [Pretty.chunks (Proof.pretty_goals main_goal (proof_state state))]);
+    [Pretty.chunks
+      (Proof.pretty_goals main_goal (Proof.map_context (K ctxt) (proof_state state)))]);
 
 in