diff options
author | Dave Barach <dave@barachs.net> | 2020-03-26 10:56:13 -0400 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2020-03-26 16:23:17 +0000 |
commit | 4897d77c6d4d5d04eb7e02bda57dc6c7005a609f (patch) | |
tree | ff81e88eee1245e9c855ae3e6ce2fee02d2545e5 /src/plugins/vmxnet3/vmxnet3_api.c | |
parent | 1c2ac860ed9a80dac539af6408d70f7dfd2c238e (diff) |
session: fix coverity warning
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ib5da600b7a40f775de7dc5b9aaa8d967e49e8632
Diffstat (limited to 'src/plugins/vmxnet3/vmxnet3_api.c')
0 files changed, 0 insertions, 0 deletions