diff options
author | Dave Wallace <dwallacelf@gmail.com> | 2018-03-19 11:18:30 -0400 |
---|---|---|
committer | Chris Luke <chris_luke@comcast.com> | 2018-03-19 17:09:19 +0000 |
commit | bc0796678d598a749f70f61cc0f1d5cbf1257107 (patch) | |
tree | cf59750b67db3f585dd4645b67e950a0395d1d2d /src/vppinfra/timer.c | |
parent | 6f4a6be8f222dd8caa94d19a7e4d87cb864ba7f4 (diff) |
VCL: Fix Coverity CID183009
Change-Id: I0233b20eb4c7dcb325e15b97a22ecd54200f6fde
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'src/vppinfra/timer.c')
0 files changed, 0 insertions, 0 deletions