src/HOL/Tools/datatype_codegen.ML

--- a/src/HOL/Tools/datatype_codegen.ML	Fri Aug 24 14:21:33 2007 +0200
+++ b/src/HOL/Tools/datatype_codegen.ML	Sat Aug 25 09:22:22 2007 +0200
@@ -543,7 +543,7 @@
   in try (Code.add_datatype cs) thy |> the_default thy end;
 
 val codetype_hook =
-  fold (fn (dtco, (_, spec)) => add_datatype_spec (dtco, spec));
+  fold (fn (dtco, (_ : bool, spec)) => add_datatype_spec (dtco, spec));
 
 
 (* instrumentalizing the sort algebra *)