fixup! Consistently resize instead of just reserving in codet classes#467
Merged
kroening merged 1 commit intodiffblue:masterfrom Jan 24, 2017
Merged
fixup! Consistently resize instead of just reserving in codet classes#467kroening merged 1 commit intodiffblue:masterfrom
kroening merged 1 commit intodiffblue:masterfrom
