1.1 --- a/src/Pure/codegen.ML	Tue May 12 17:09:36 2009 +0200
     1.2 +++ b/src/Pure/codegen.ML	Tue May 12 19:30:33 2009 +0200
     1.3 @@ -1024,8 +1024,6 @@
     1.4  
     1.5  val setup = add_codegen "default" default_codegen
     1.6    #> add_tycodegen "default" default_tycodegen
     1.7 -  #> Code.add_attribute ("unfold", Scan.succeed (Thm.declaration_attribute
     1.8 -       (fn thm => Context.mapping (add_unfold thm #> Code.add_inline thm) I)))
     1.9    #> add_preprocessor unfold_preprocessor;
    1.10  
    1.11  val _ =