Changed interface of add_attribute.
authorberghofe
Mon Sep 22 16:06:05 2003 +0200 (2003-09-22)
changeset 14195e7c9206dd2ef
parent 14194 8953b566dfed
child 14196 be5e838f37bd
Changed interface of add_attribute.
src/HOL/Tools/inductive_codegen.ML
     1.1 --- a/src/HOL/Tools/inductive_codegen.ML	Mon Sep 22 16:04:49 2003 +0200
     1.2 +++ b/src/HOL/Tools/inductive_codegen.ML	Mon Sep 22 16:06:05 2003 +0200
     1.3 @@ -542,7 +542,7 @@
     1.4  val setup =
     1.5    [add_codegen "inductive" inductive_codegen,
     1.6     CodegenData.init,
     1.7 -   add_attribute "ind" add];
     1.8 +   add_attribute "ind" (Scan.succeed add)];
     1.9  
    1.10  end;
    1.11