src/Pure/sorts.ML
changeset 17756 d4a35f82fbb4
parent 17412 e26cb20ef0cc
child 18428 4059413acbc1
     1.1 --- a/src/Pure/sorts.ML	Tue Oct 04 16:47:40 2005 +0200
     1.2 +++ b/src/Pure/sorts.ML	Tue Oct 04 19:01:37 2005 +0200
     1.3 @@ -240,7 +240,7 @@
     1.4                  witn_types path ts (solved_failed, S)
     1.5                else
     1.6                  let val ((solved', failed'), ws) = witn_sorts (S :: path) (solved_failed, SS) in
     1.7 -                  if forall isSome ws then
     1.8 +                  if forall is_some ws then
     1.9                      let val w = (Type (t, map (#1 o valOf) ws), S)
    1.10                      in ((w :: solved', failed'), SOME w) end
    1.11                    else witn_types path ts ((solved', failed'), S)