src/Pure/Isar/expression.ML
changeset 28991 694227dd3e8c
parent 28965 1de908189869
child 28994 49f602ae24e5
     1.1 --- a/src/Pure/Isar/expression.ML	Thu Dec 04 14:44:07 2008 +0100
     1.2 +++ b/src/Pure/Isar/expression.ML	Fri Dec 05 08:04:53 2008 +0100
     1.3 @@ -772,7 +772,7 @@
     1.4      val deps' = map (fn (l, morph) => (l, morph $> satisfy)) deps;
     1.5  
     1.6      val loc_ctxt = thy' |>
     1.7 -      NewLocale.register_locale name (extraTs, params)
     1.8 +      NewLocale.register_locale bname (extraTs, params)
     1.9          (asm, map prop_of defs) ([], [])
    1.10          (map (fn n => (n, stamp ())) notes |> rev) (map (fn d => (d, stamp ())) deps' |> rev) |>
    1.11        NewLocale.init name