diff options
author | Mohsin Kazmi <sykazmi@cisco.com> | 2022-04-05 11:12:33 +0000 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2022-04-05 14:23:02 +0000 |
commit | 0c740a6d8a6c11b1af4ce704220c2c46628f0a89 (patch) | |
tree | 0feb2d1bc91b74d5f46262fcae784bd0ce1a406a /src/vppinfra/rbtree.c | |
parent | 61a2c8939d188ce2fc033695fe6dbf84b4ad61a6 (diff) |
tap: fix the coverity warning
Type: fix
Signed-off-by: Mohsin Kazmi <sykazmi@cisco.com>
Change-Id: I609fb28e58286ff490d12384b03dd713830379b3
Diffstat (limited to 'src/vppinfra/rbtree.c')
0 files changed, 0 insertions, 0 deletions