diff options
Diffstat (limited to 'libhw/rp2040_hwtimer.c')
| -rw-r--r-- | libhw/rp2040_hwtimer.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libhw/rp2040_hwtimer.c b/libhw/rp2040_hwtimer.c index 9f0d901..9af499a 100644 --- a/libhw/rp2040_hwtimer.c +++ b/libhw/rp2040_hwtimer.c @@ -166,6 +166,7 @@ static void rp2040_hwtimer_del_trigger(implements_alarmclock *_alarmclock, trigger->alarmclock = NULL; trigger->prev = NULL; trigger->next = NULL; - } + } else + assert(!trigger->alarmclock); cr_restore_interrupts(saved); } |