src/Pure/Isar/method.ML
changeset 23086 12320f6e2523
parent 22846 fb79144af9a3
child 23178 07ba6b58b3d2
     1.1 --- a/src/Pure/Isar/method.ML	Thu May 24 07:27:44 2007 +0200
     1.2 +++ b/src/Pure/Isar/method.ML	Thu May 24 08:37:37 2007 +0200
     1.3 @@ -423,7 +423,7 @@
     1.4      val new_meths = raw_meths |> map (fn (name, f, comment) =>
     1.5        (name, ((f, comment), stamp ())));
     1.6  
     1.7 -    fun add meths = NameSpace.extend_table (Sign.naming_of thy) (meths, new_meths)
     1.8 +    fun add meths = NameSpace.extend_table (Sign.naming_of thy) new_meths meths
     1.9        handle Symtab.DUPS dups =>
    1.10          error ("Duplicate declaration of method(s) " ^ commas_quote dups);
    1.11    in MethodsData.map add thy end;