diff options
| author |   Mohammed Hawari <mohammed@hawari.fr> | 2021-09-08 11:30:21 +0200 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2021-09-08 14:33:03 +0000 |
| commit | 2f8174ff5101409d2335069330a4d674ec01afb9 (patch) | |
| tree | 61cfaf80b3386c2afb807df028eabb529014503d /src/vppinfra/rbtree.h | |
| parent | 710bdef43c2bfe6a6fd208edd080c75f06c5dfb7 (diff) | |
interface: fix coverity issue
Change-Id: I5bb1ab3a57097bf03e7de5541cc8496655bc728f
Signed-off-by: Mohammed Hawari <mohammed@hawari.fr>
Type: fix
Fixes: 5b22339973feaa3eba48ead1e9fb428b1816c0cc
Diffstat (limited to 'src/vppinfra/rbtree.h')
0 files changed, 0 insertions, 0 deletions