src/HOL/Tools/Datatype/datatype_aux.ML
changeset 33042 ddf1f03a9ad9
parent 33038 8f9594c31de4
child 33243 17014b1b9353
     1.1 --- a/src/HOL/Tools/Datatype/datatype_aux.ML	Wed Oct 21 12:02:19 2009 +0200
     1.2 +++ b/src/HOL/Tools/Datatype/datatype_aux.ML	Wed Oct 21 12:02:56 2009 +0200
     1.3 @@ -257,7 +257,7 @@
     1.4  fun get_nonrec_types descr sorts =
     1.5    map (typ_of_dtyp descr sorts) (Library.foldl (fn (Ts, (_, (_, _, constrs))) =>
     1.6      Library.foldl (fn (Ts', (_, cargs)) =>
     1.7 -      union (op =) (filter_out is_rec_type cargs, Ts')) (Ts, constrs)) ([], descr));
     1.8 +      union (op =) (filter_out is_rec_type cargs) Ts') (Ts, constrs)) ([], descr));
     1.9  
    1.10  (* get all recursive types in datatype description *)
    1.11