--- a/src/HOL/Tools/Datatype/datatype_aux.ML Wed Oct 21 12:02:19 2009 +0200
+++ b/src/HOL/Tools/Datatype/datatype_aux.ML Wed Oct 21 12:02:56 2009 +0200
@@ -257,7 +257,7 @@
fun get_nonrec_types descr sorts =
map (typ_of_dtyp descr sorts) (Library.foldl (fn (Ts, (_, (_, _, constrs))) =>
Library.foldl (fn (Ts', (_, cargs)) =>
- union (op =) (filter_out is_rec_type cargs, Ts')) (Ts, constrs)) ([], descr));
+ union (op =) (filter_out is_rec_type cargs) Ts') (Ts, constrs)) ([], descr));
(* get all recursive types in datatype description *)