diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2017-12-28 12:46:12 +0100 |
|---|---|---|
| committer | Jan Mulder <jlmulder@xs4all.nl> | 2017-12-28 17:30:25 +0100 |
| commit | 6fa23f74f73d9baeb871670de0dcb6f5d3838cde (patch) | |
| tree | 3826994867828093c48a295b8b9459e169a8e80c /.github | |
| parent | 92a5e0644e1cb6c25c2c5e96b39d2368f0f1be5b (diff) | |
| download | subsurface-6fa23f74f73d9baeb871670de0dcb6f5d3838cde.tar.gz | |
cleanup: Argument cannot be negative
CID 208296. IndexOf can return -1 when not found, which will
not happen in this context, so just to silence Coverity.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions