diff options
| author |   Ole Troan <ot@cisco.com> | 2017-03-09 21:10:45 +0100 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2017-03-17 20:36:55 +0000 |
| commit | ad0697a134926c8d9cff8ae2747c4c554811c9db (patch) | |
| tree | cfd8d97309f3df9e2251c9febf883dd89d49464e /src/vppinfra/valgrind.h | |
| parent | ed812458641e8805e98a5bb399248745bae5d6b7 (diff) | |
PNEUM: Fix Coverity error (missing unlock).
Change-Id: I53433e89d06fbc95e160887517acafc1544e81b5
Signed-off-by: Ole Troan <ot@cisco.com>
Diffstat (limited to 'src/vppinfra/valgrind.h')
0 files changed, 0 insertions, 0 deletions