src/Pure/simplifier.ML
changeset 23086 12320f6e2523
parent 22846 fb79144af9a3
child 23536 60a1672e298e
     1.1 --- a/src/Pure/simplifier.ML	Thu May 24 07:27:44 2007 +0200
     1.2 +++ b/src/Pure/simplifier.ML	Thu May 24 08:37:37 2007 +0200
     1.3 @@ -228,7 +228,7 @@
     1.4        in
     1.5          context
     1.6          |> Simprocs.map (fn simprocs =>
     1.7 -            NameSpace.extend_table naming (simprocs, [(name', simproc')])
     1.8 +            NameSpace.extend_table naming [(name', simproc')] simprocs
     1.9                handle Symtab.DUPS ds => err_dup_simprocs ds)
    1.10          |> map_ss (fn ss => ss addsimprocs [simproc'])
    1.11        end)