diff options
author | Klement Sekera <ksekera@cisco.com> | 2021-10-25 13:39:13 +0200 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2021-11-02 22:34:28 +0000 |
commit | 849b474dc4d94570a2df0cee8c7e2504e21c8b6e (patch) | |
tree | 05a01fc7ad52343109adf6f10886f96e7b3a4c1c /extras/vagrant/Vagrantfile | |
parent | 6ea5c4744a132ca5f21b8cffab7676a386d6ebf5 (diff) |
ip: fix coverity warning
Remove unnecessary NULL check of t0, which causes coverity to scream. t0
is always initilised to *something* by doing pool_elt_at_index().
Type: fix
Signed-off-by: Klement Sekera <ksekera@cisco.com>
Change-Id: I7cf21767c43a24923e490ad40622743c17142fe2
Diffstat (limited to 'extras/vagrant/Vagrantfile')
0 files changed, 0 insertions, 0 deletions