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