diff options
| author |   Dave Barach <dave@barachs.net> | 2017-12-19 08:26:27 -0500 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2017-12-19 16:10:53 +0000 |
| commit | 5e30aceb3a619e71ae081c7dd55b40122e7bfbea (patch) | |
| tree | 5aaa43c1453bf0e0c6faade47ced28419be85a7a /src/vppinfra/random.c | |
| parent | 3e86a30a83fe39ff5673af3d11685ff508240d9d (diff) | |
VPP-1032: fix coverity warning in bier
Change-Id: I0f8d2d9be78d4d936ed61538aee1b7207871347b
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra/random.c')
0 files changed, 0 insertions, 0 deletions