# HG changeset patch
# User berghofe
# Date 1173539588 -3600
# Node ID 09e794384323cacf3cd7eaba07721e57a4ce62cc
# Parent  1755e6381b2c52bc7de2aa355da2cc64451418b8
Eta-expanded codetype_hook to make SML/NJ happy.

diff -r 1755e6381b2c -r 09e794384323 src/HOL/Tools/datatype_codegen.ML
--- a/src/HOL/Tools/datatype_codegen.ML	Fri Mar 09 13:10:22 2007 +0100
+++ b/src/HOL/Tools/datatype_codegen.ML	Sat Mar 10 16:13:08 2007 +0100
@@ -525,8 +525,8 @@
 
 (* registering code types in code generator *)
 
-val codetype_hook =
-  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec));
+fun codetype_hook x =
+  fold (fn (dtco, (_, spec)) => CodegenData.add_datatype (dtco, spec)) x;
 
 
 (* instrumentalizing the sort algebra *)