src/HOL/Tools/datatype_aux.ML
changeset 18069 f2c8f68a45e6
parent 18022 c1bb6480534f
child 18101 43724981f8f9
     1.1 --- a/src/HOL/Tools/datatype_aux.ML	Wed Nov 02 16:37:39 2005 +0100
     1.2 +++ b/src/HOL/Tools/datatype_aux.ML	Wed Nov 02 23:59:49 2005 +0100
     1.3 @@ -238,7 +238,7 @@
     1.4           NONE => DtType (tname, map (dtyp_of_typ new_dts) Ts)
     1.5         | SOME vs => if map (try dest_TFree) Ts = map SOME vs then
     1.6               DtRec (find_index (curry op = tname o fst) new_dts)
     1.7 -           else error ("Illegal occurence of recursive type " ^ tname));
     1.8 +           else error ("Illegal occurrence of recursive type " ^ tname));
     1.9  
    1.10  fun typ_of_dtyp descr sorts (DtTFree a) = TFree (a, (the o AList.lookup (op =) sorts) a)
    1.11    | typ_of_dtyp descr sorts (DtRec i) =