src/HOL/Tools/datatype_codegen.ML
changeset 22435 16e6ddc30f92
parent 22429 09e794384323
child 22480 b20bc8029edb
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Sat Mar 10 16:31:55 2007 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Sun Mar 11 15:02:44 2007 +0100
     1.3 @@ -525,8 +525,8 @@
     1.4  
     1.5  (* registering code types in code generator *)
     1.6  
     1.7 -fun codetype_hook x =
     1.8 -  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) x;
     1.9 +fun codetype_hook dtspecs =
    1.10 +  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) dtspecs;
    1.11  
    1.12  
    1.13  (* instrumentalizing the sort algebra *)