--- a/src/HOLCF/adm.ML Wed Sep 29 14:40:15 1999 +0200
+++ b/src/HOLCF/adm.ML Wed Sep 29 14:56:01 1999 +0200
@@ -89,9 +89,8 @@
(*** check whether type of terms in list is chain finite ***)
fun is_chfin sign T params ((t, _)::_) =
- let val {tsig, ...} = Sign.rep_sg sign;
- val parTs = map snd (rev params)
- in Type.of_sort tsig (fastype_of1 (T::parTs, t), chfin_pcpoS) end;
+ let val parTs = map snd (rev params)
+ in Sign.of_sort sign (fastype_of1 (T::parTs, t), chfin_pcpoS) end;
(*** try to prove that terms in list are continuous