--- ai12s/ai12-0027-1.txt 2012/06/05 04:24:00 1.2 +++ ai12s/ai12-0027-1.txt 2012/06/07 00:54:06 1.3 @@ -4,8 +4,8 @@ !status received 12-04-09 !priority Low !difficulty Medium -!subject -!summary Contract violation for aliased components of actuals for formal array types +!subject Contract violation for aliased components of actuals for formal array types +!summary **TBD.