diff options
Diffstat (limited to 'src/threads/mtx_destroy.c')
| -rw-r--r-- | src/threads/mtx_destroy.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/threads/mtx_destroy.c b/src/threads/mtx_destroy.c index 93a8e0f5..fe5f8950 100644 --- a/src/threads/mtx_destroy.c +++ b/src/threads/mtx_destroy.c @@ -9,6 +9,8 @@ void mtx_destroy(mtx_t *mtx) pthread_mutex_destroy(mtx); } +__vcheck_1(mtx_destroy, mtx_t *) + /* STDC(201112) */ |