src/Pure/Isar/expression.ML
changeset 33671 4b0f2599ed48
parent 33670 02b7738aef6a
child 35021 c839a4c670c6
     1.1 --- a/src/Pure/Isar/expression.ML	Fri Nov 13 20:41:29 2009 +0100
     1.2 +++ b/src/Pure/Isar/expression.ML	Fri Nov 13 21:11:15 2009 +0100
     1.3 @@ -775,7 +775,7 @@
     1.4        |> Locale.register_locale binding (extraTs, params)
     1.5            (asm, rev defs) (a_intro, b_intro) axioms ([], []) (rev notes) (rev deps')
     1.6        |> Theory_Target.init (SOME name)
     1.7 -      |> fold (fn (kind, facts) => LocalTheory.notes_kind kind facts #> snd) notes';
     1.8 +      |> fold (fn (kind, facts) => Local_Theory.notes_kind kind facts #> snd) notes';
     1.9  
    1.10    in (name, loc_ctxt) end;
    1.11