Correction to bug 9206

svn: r8711
This commit is contained in:
Kathy Gray 2008-02-18 23:22:04 +00:00
parent 6f0ce91461
commit 713b0e4706

View File

@ -912,7 +912,7 @@
(check-array-init (array-init-vals (car inits)) check-e env type type-recs))
(else
(check-array-init-sub-inits (cdr inits) check-e
(check-array-init (array-init-vals (car inits)) check-e env type type-recs)
(type/env-e (check-array-init (array-init-vals (car inits)) check-e env type type-recs))
type type-recs))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;