diff options
| author |   Florin Coras <fcoras@cisco.com> | 2020-10-12 19:08:22 -0700 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2020-10-13 16:50:37 +0000 |
| commit | 927eee410d5bf027ea8df0dc7d298c46d4e46100 (patch) | |
| tree | 88e19bd215d0fba49b13f0e27228e774da3f7783 /gmod | |
| parent | d1b423c924202950acf36fea1d221bf1dda9b39d (diff) | |
svm: fix coverity warning
Type: fix
Change-Id: I6c6255e66dd4cd0e4174b2a1658a3b8be40f0f7a
Signed-off-by: Florin Coras <fcoras@cisco.com>
Diffstat (limited to 'gmod')
0 files changed, 0 insertions, 0 deletions