aboutsummaryrefslogtreecommitdiffstats
path: root/extras/vagrant/Vagrantfile
diff options
context:
space:
mode:
authorKlement Sekera <ksekera@cisco.com>2021-10-25 13:39:13 +0200
committerDamjan Marion <dmarion@me.com>2021-11-02 22:34:28 +0000
commit849b474dc4d94570a2df0cee8c7e2504e21c8b6e (patch)
tree05a01fc7ad52343109adf6f10886f96e7b3a4c1c /extras/vagrant/Vagrantfile
parent6ea5c4744a132ca5f21b8cffab7676a386d6ebf5 (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