diff options
Diffstat (limited to 'src/threads/tss_delete.c')
| -rw-r--r-- | src/threads/tss_delete.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/threads/tss_delete.c b/src/threads/tss_delete.c index a76c47aa..99e71ef8 100644 --- a/src/threads/tss_delete.c +++ b/src/threads/tss_delete.c @@ -9,6 +9,8 @@ void tss_delete(tss_t key) pthread_key_delete(key); } +__vcheck_1(tss_delete, tss_t) + /* STDC(201112) */ |