# HG changeset patch
# User bulwahn
# Date 1319188632 -7200
# Node ID 1b08942bb86ffc91f54ac4798397a71b5daf5550
# Parent  f00a1aee5bc29f23b9fa98678d46cdfe6ae15896
removing redundant attribute code_inline in the code generator

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))