diff options
| author | Jack Lloyd <[email protected]> | 2016-02-09 07:15:20 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-02-09 07:15:20 -0500 |
| commit | 86dd5511d873846f57b235531dda428b9498cf6a (patch) | |
| tree | 5eedb27dea290abbeaa5f8d870e6064df48f46bf /src/lib | |
| parent | 2becd2b8b7fe1cda319789fd96ddd7bf51b433cb (diff) | |
Check result of dynamic_cast
Unlikely to fail in this case but anything's possible.
Found by Coverity
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions