# HG changeset patch
# User haftmann
# Date 1188026542 -7200
# Node ID fcf429a4e923858aabd0a86829074b682044c2cd
# Parent  bc5cf3b09ff391aa4f3526e96aef9181b473282f
made SML/NJ happy

diff -r bc5cf3b09ff3 -r fcf429a4e923 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 *)