src/Pure/codegen.ML

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