diff options
| author |   Dave Barach <dave@barachs.net> | 2020-03-26 10:56:13 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2020-03-26 16:23:17 +0000 |
| commit | 4897d77c6d4d5d04eb7e02bda57dc6c7005a609f (patch) | |
| tree | ff81e88eee1245e9c855ae3e6ce2fee02d2545e5 /src/vppinfra/time.c | |
| parent | 1c2ac860ed9a80dac539af6408d70f7dfd2c238e (diff) | |
session: fix coverity warning
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ib5da600b7a40f775de7dc5b9aaa8d967e49e8632
Diffstat (limited to 'src/vppinfra/time.c')
0 files changed, 0 insertions, 0 deletions