src/HOL/Tools/inductive_codegen.ML

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