--* From SCM%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Wed May  5 10:53:11 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17541; Wed, 5 May 1993 10:53:11 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4118; Wed, 05 May 93 10:53:43 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.SCM.NOTE.VAGENT2.4013.May.05.10:53:42.-0400>
--*           for asbugs@watson; Wed, 05 May 93 10:53:43 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4011; Wed, 5 May 1993 10:53:41 EDT
--* Received: from idefix.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 05 May 93 10:53:38 EDT
--* Received: by idefix.watson.ibm.com (AIX 3.1/UCB 5.61/900524)
--*           id AA15961; Wed, 5 May 93 10:47:05 -0400
--* Date: Wed, 5 May 93 10:47:05 -0400
--* From: scm@idefix.watson.ibm.com (Scott Morrison)
--* X-External-Networks: yes
--* Message-Id: <9305051447.AA15961@idefix.watson.ibm.com>
--* To: asbugs@watson.ibm.com, dooley@matteo.watson.ibm.com,
--*         smwatt@watson.vnet.ibm.com, sutor@watson.vnet.ibm.com
--* Subject: assert fail on line 1299 of tfsat.c, probably due to the fact that % is bound incorrectly inside Record decls.  The Domain type is failing. [bad.as][28.4]
--@ Fixed  by: SSD Mon May 17 14:43:20 1993
--@ Tested by: ../aslib/runtime.as
--@ Summary:   relaxed the assertion in the presence of type check errors