| changeset 38388 | 94d5624dd1f7 |
| parent 38384 | 07c33be08476 |
| child 38389 | d7d915bae307 |
--- a/src/Pure/Isar/toplevel.ML Thu Aug 12 09:00:19 2010 +0200 +++ b/src/Pure/Isar/toplevel.ML Thu Aug 12 13:23:46 2010 +0200 @@ -193,7 +193,7 @@ (* print state *) -val pretty_context = Local_Theory.pretty o Context.cases (Named_Target.init NONE) I; +val pretty_context = Local_Theory.pretty o Context.cases (Named_Target.theory_init) I; fun print_state_context state = (case try node_of state of