src/Pure/codegen.ML
changeset 24166 7b28dc69bdbb
parent 24022 ab76c73b3b58
child 24219 e558fe311376
     1.1 --- a/src/Pure/codegen.ML	Tue Aug 07 09:38:48 2007 +0200
     1.2 +++ b/src/Pure/codegen.ML	Tue Aug 07 09:40:34 2007 +0200
     1.3 @@ -377,7 +377,8 @@
     1.4      fn thm => add_unfold thm #> CodeData.add_inline thm));
     1.5    val _ = map (Context.add_setup o add_del_attribute) [
     1.6      ("func", (CodeData.add_func true, CodeData.del_func)),
     1.7 -    ("inline", (CodeData.add_inline, CodeData.del_inline))
     1.8 +    ("inline", (CodeData.add_inline, CodeData.del_inline)),
     1.9 +    ("post", (CodeData.add_post, CodeData.del_post))
    1.10    ];
    1.11  end; (*local*)
    1.12