src/Pure/simplifier.ML

--- a/src/Pure/simplifier.ML	Thu Mar 12 11:09:26 2009 +0100
+++ b/src/Pure/simplifier.ML	Thu Mar 12 11:10:02 2009 +0100
@@ -222,7 +222,7 @@
         val simproc' = morph_simproc phi simproc;
       in
         Simprocs.map (fn simprocs =>
-          NameSpace.bind naming (b', simproc') simprocs |> snd
+          NameSpace.define naming (b', simproc') simprocs |> snd
             handle Symtab.DUP dup => err_dup_simproc dup)
         #> map_ss (fn ss => ss addsimprocs [simproc'])
       end)