--* From bmt@spadserv.watson.ibm.com  Fri Oct 23 11:06:42 1992
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA23734; Fri, 23 Oct 1992 11:06:42 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA16895; Fri, 23 Oct 1992 11:07:41 -0400
--* Date: Fri, 23 Oct 1992 11:07:41 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9210231507.AA16895@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com
--* Subject: Assertion failed... caused by [] decl

--@ Fixed  by: RSS Oct 23/92
--@ Tested by: abcheck0.ax
--@ Summary:   Abcheck now verifies AB_Declare is well formed.