src/Pure/codegen.ML

--- a/src/Pure/codegen.ML	Wed Jun 25 14:54:45 2008 +0200
+++ b/src/Pure/codegen.ML	Wed Jun 25 17:38:32 2008 +0200
@@ -1111,7 +1111,7 @@
 
 structure P = OuterParse and K = OuterKeyword;
 
-val _ = OuterSyntax.keywords ["attach", "file", "contains"];
+val _ = List.app OuterKeyword.keyword ["attach", "file", "contains"];
 
 fun strip_whitespace s = implode (fst (take_suffix (equal "\n" orf equal " ")
   (snd (take_prefix (equal "\n" orf equal " ") (explode s))))) ^ "\n";