diff -r 7c09bd3227c5 -r 3da5f3f07d8b CookBook/chunks.ML
--- a/CookBook/chunks.ML	Fri Mar 13 12:21:44 2009 +0100
+++ b/CookBook/chunks.ML	Fri Mar 13 16:57:16 2009 +0100
@@ -49,7 +49,7 @@
 
 fun declare_chunk name thy =
   (Sign.full_bname thy name,
-   ChunkData.map (snd o NameSpace.bind (Sign.naming_of thy)
+   ChunkData.map (snd o NameSpace.define (Sign.naming_of thy)
      (Binding.name name, ([], stamp ()))) thy
    handle Symtab.DUP _ => error ("Duplicate definition of ML chunk " ^ quote name));