diff options
| author | Cory Fields <cory-nospam-@coryfields.com> | 2017-02-25 01:06:25 -0500 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-28 11:40:50 +0100 |
| commit | 775cf54d0e0ad97e043e46fd88018ed6e0bd2684 (patch) | |
| tree | ba6e9f8eac91bc7198bc7485300fb1f4f38cd6da /doc | |
| parent | 69832aaad53c9236062ad89c28ad5f28b359b448 (diff) | |
prevector: assert successful allocation
Github-Pull: #9856
Rebased-From: d4ee7baef729da5e18b5e5c3d6ddb5b97df8d4e4
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions