src/Pure/Isar/isar_syn.ML
changeset 33671 4b0f2599ed48
parent 33553 35f2b30593a8
child 35205 611b90bb89bc
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Fri Nov 13 20:41:29 2009 +0100
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Fri Nov 13 21:11:15 2009 +0100
     1.3 @@ -288,7 +288,7 @@
     1.4  (* use ML text *)
     1.5  
     1.6  fun propagate_env (context as Context.Proof lthy) =
     1.7 -      Context.Proof (LocalTheory.map_contexts (ML_Env.inherit context) lthy)
     1.8 +      Context.Proof (Local_Theory.map_contexts (ML_Env.inherit context) lthy)
     1.9    | propagate_env context = context;
    1.10  
    1.11  fun propagate_env_prf prf = Proof.map_contexts