src/Pure/Isar/locale.ML

--- a/src/Pure/Isar/locale.ML	Sat Mar 28 17:21:49 2009 +0100
+++ b/src/Pure/Isar/locale.ML	Sat Mar 28 17:53:33 2009 +0100
@@ -306,7 +306,7 @@
   in PureThy.note_thmss kind facts' thy |> snd end
 
 fun init_local_elem (Fixes fixes) ctxt = ctxt |>
-      ProofContext.add_fixes_i fixes |> snd
+      ProofContext.add_fixes fixes |> snd
   | init_local_elem (Assumes assms) ctxt =
       let
         val assms' = Attrib.map_specs (Attrib.attribute_i (ProofContext.theory_of ctxt)) assms