clarified code
authorhaftmann
Sun Mar 11 15:02:44 2007 +0100 (2007-03-11)
changeset 2243516e6ddc30f92
parent 22434 081a62852313
child 22436 c9e384a956df
clarified code
src/HOL/Tools/datatype_codegen.ML
     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 *)