diff options
Diffstat (limited to 'src/threads/cnd_destroy.c')
| -rw-r--r-- | src/threads/cnd_destroy.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/threads/cnd_destroy.c b/src/threads/cnd_destroy.c index 07cee092..32b0d2c6 100644 --- a/src/threads/cnd_destroy.c +++ b/src/threads/cnd_destroy.c @@ -9,6 +9,8 @@ void cnd_destroy(cnd_t *cond) pthread_cond_destroy(cond); } +__vcheck_1(cnd_destroy, cnd_t *) + /* STDC(201112) */ |