# HG changeset patch
# User haftmann
# Date 1173621764 -3600
# Node ID 16e6ddc30f922a2345202777391a4bf1ed35525c
# Parent  081a6285231340dd769f8a3f2ba6b48e2821984e
clarified code

diff -r 081a62852313 -r 16e6ddc30f92 src/HOL/Tools/datatype_codegen.ML
--- a/src/HOL/Tools/datatype_codegen.ML	Sat Mar 10 16:31:55 2007 +0100
+++ b/src/HOL/Tools/datatype_codegen.ML	Sun Mar 11 15:02:44 2007 +0100
@@ -525,8 +525,8 @@
 
 (* registering code types in code generator *)
 
-fun codetype_hook x =
-  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) x;
+fun codetype_hook dtspecs =
+  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) dtspecs;
 
 
 (* instrumentalizing the sort algebra *)