Use std::size_t instead of int to match types at callsites#2406

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:vs-sizet1

Jun 23, 2018

Commits on Jun 23, 2018

Use std::size_t instead of int to match types at callsites
tautschnig
committed