diff options
-rw-r--r-- | thread_pthread.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/thread_pthread.c b/thread_pthread.c index b0160090d8..745c55544e 100644 --- a/thread_pthread.c +++ b/thread_pthread.c @@ -1795,9 +1795,7 @@ ubf_timer_destroy(void) if (timer_delete(timer_posix.timerid) < 0) rb_sys_fail("timer_delete"); - if (ATOMIC_EXCHANGE(timer_posix.state, RTIMER_DEAD) != RTIMER_DEAD) { - rb_bug("YOU KNOW I'M NOT DEAD\n"); - } + VM_ASSERT(ATOMIC_EXCHANGE(timer_posix.state, RTIMER_DEAD) == RTIMER_DEAD); } #elif UBF_TIMER == UBF_TIMER_PTHREAD int err; |