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 /release.nix | |
| 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 'release.nix')
0 files changed, 0 insertions, 0 deletions