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