author | berghofe |
Mon, 22 Sep 2003 16:06:05 +0200 | |
changeset 14195 | e7c9206dd2ef |
parent 14194 | 8953b566dfed |
child 14196 | be5e838f37bd |
--- a/src/HOL/Tools/inductive_codegen.ML Mon Sep 22 16:04:49 2003 +0200 +++ b/src/HOL/Tools/inductive_codegen.ML Mon Sep 22 16:06:05 2003 +0200 @@ -542,7 +542,7 @@ val setup = [add_codegen "inductive" inductive_codegen, CodegenData.init, - add_attribute "ind" add]; + add_attribute "ind" (Scan.succeed add)]; end;