src/HOL/Library/word_setup.ML

--- a/src/HOL/Library/word_setup.ML	Thu Jan 19 15:45:10 2006 +0100
+++ b/src/HOL/Library/word_setup.ML	Thu Jan 19 21:22:08 2006 +0100
@@ -42,5 +42,5 @@
           thy
 	end
 in
-val setup_word = [add_word]
+val setup_word = add_word
 end