Correct incomplete_array_typet [DOC-12]#2820

Merged

majakusber merged 2 commits intodiffblue:developfrom

majakusber:correct_incomplete_array

Sep 17, 2018

Commits on Sep 17, 2018

Make sure incomplete array uses the correct id
svorenova
committed
Remove unused constructor
svorenova
committed