diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-10-27 07:22:56 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-10-27 07:35:46 -0700 |
| commit | 80f76773c1940b94a907a76c8d42b60470b33d3d (patch) | |
| tree | a24049e43d01ba70a17a607937f0ab27ab4292c4 /SupportedDivecomputers.html | |
| parent | e89a87a2e8d763fa7eecb923746a972de735a606 (diff) | |
| download | subsurface-80f76773c1940b94a907a76c8d42b60470b33d3d.tar.gz | |
Cleanup: prevent uninitialized pointer
This should never matter as we should never call undoit before redoit.
Extra ensurance that we don't access random data.
Found by Coverity. Fixes CID 350076
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'SupportedDivecomputers.html')
0 files changed, 0 insertions, 0 deletions