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