# HG changeset patch
# User wenzelm
# Date 1160519522 -7200
# Node ID 75c8a52f84475fd4178d8639e60e4e31a28de166
# Parent  75ffb934929de646d24117fbe5bbbc0bd5965088
renamed body_context_node to presentation_context;

diff -r 75ffb934929d -r 75c8a52f8447 src/Pure/Isar/isar_output.ML
--- a/src/Pure/Isar/isar_output.ML	Wed Oct 11 00:31:38 2006 +0200
+++ b/src/Pure/Isar/isar_output.ML	Wed Oct 11 00:32:02 2006 +0200
@@ -115,7 +115,7 @@
 fun args scan f src node : string =
   let
     val loc = if ! locale = "" then NONE else SOME (! locale);
-    val (ctxt, x) = syntax scan src (Toplevel.body_context_node node loc);
+    val (ctxt, x) = syntax scan src (Toplevel.presentation_context node loc);
   in f src ctxt x end;