diff options
author | Michael Meskes | 2013-09-08 10:59:43 +0000 |
---|---|---|
committer | Michael Meskes | 2013-09-08 11:14:45 +0000 |
commit | 83ec831368746163994a1ad7a705749af589f5d9 (patch) | |
tree | d19f42c37adb92a2ffc7e2706d56a51ff05da736 /doc/src | |
parent | f74a024c33702d46af1261ac4c6314576018b4fe (diff) |
Return error if allocation of new element was not possible.
Found by Coverity.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions