diff -r f00a1aee5bc2 -r 1b08942bb86f src/Tools/Code/code_preproc.ML
--- a/src/Tools/Code/code_preproc.ML	Fri Oct 21 10:37:03 2011 +0200
+++ b/src/Tools/Code/code_preproc.ML	Fri Oct 21 11:17:12 2011 +0200
@@ -518,8 +518,6 @@
   in
     Attrib.setup @{binding code_unfold} (add_del_attribute_parser add_unfold del_unfold)
         "preprocessing equations for code generator"
-    #> Attrib.setup @{binding code_inline} (add_del_attribute_parser add_unfold del_unfold)
-        "preprocessing equations for code generator"
     #> Attrib.setup @{binding code_post} (add_del_attribute_parser add_post del_post)
         "postprocessing equations for code generator"
     #> Attrib.setup @{binding code_unfold_post} (Scan.succeed (mk_attribute add_unfold_post))