diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-24T20·09+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-24T20·09+0000 |
commit | 43535499f38acc04367eeb4dd0d9938e9f8666f8 (patch) | |
tree | e563d03b531d47558c89a66f87e358e6bf8f87e0 /substitute.mk | |
parent | e0b7fb8f2710ec3012afe6b9d2096f770429a389 (diff) |
* When allocating an attribute set, reserve enough space for all
elements. This prevents the vector from having to resize itself.
Diffstat (limited to 'substitute.mk')
0 files changed, 0 insertions, 0 deletions