(interval_)sparse_arrayt: Remove unnecessary use of "virtual" and further cleanup#2566

Merged

tautschnig merged 1 commit intodiffblue:developfrom tautschnig:vs-sparse-array

Jul 12, 2018

+14-21

Commits on Jul 9, 2018

(interval_)sparse_arrayt: Remove unnecessary use of "virtual" and further cleanup
tautschnig
committed