summaryrefslogtreecommitdiff
path: root/mi
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-01-01 01:52:30 -0800
committerOri Bernstein <ori@eigenstate.org>2016-01-01 01:52:30 -0800
commitc2fe43f61c7d2a8277247db8314bb3d5a4ffb753 (patch)
treee33c86ca09cdc28c3be1e483edb4b930dd016198 /mi
parente22c4b573a6d0d71a8781ef655a7249f8b1921a4 (diff)
downloadmc-c2fe43f61c7d2a8277247db8314bb3d5a4ffb753.tar.gz
Compute the array size when inferring.
We were ignoring arrays with indexed initializers. This was wrong.
Diffstat (limited to 'mi')
0 files changed, 0 insertions, 0 deletions