src/Pure/Isar/locale.ML
changeset 30763 6976521b4263
parent 30761 ac7570d80c3d
child 30764 3e3e7aa0cc7a
     1.1 --- a/src/Pure/Isar/locale.ML	Sat Mar 28 17:21:49 2009 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Sat Mar 28 17:53:33 2009 +0100
     1.3 @@ -306,7 +306,7 @@
     1.4    in PureThy.note_thmss kind facts' thy |> snd end
     1.5  
     1.6  fun init_local_elem (Fixes fixes) ctxt = ctxt |>
     1.7 -      ProofContext.add_fixes_i fixes |> snd
     1.8 +      ProofContext.add_fixes fixes |> snd
     1.9    | init_local_elem (Assumes assms) ctxt =
    1.10        let
    1.11          val assms' = Attrib.map_specs (Attrib.attribute_i (ProofContext.theory_of ctxt)) assms