behn: already deleted, don't need to do it again

This commit is contained in:
Philip Monk 2020-05-27 18:47:50 -07:00
parent 86fb78d933
commit 472ad18c90
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC

View File

@ -218,7 +218,7 @@
=^ dut dux ~(get to dux)
:- [date dut]
?: =(~ dux)
+:(del:timer-map timers.state date)
timers.state
(put:timer-map timers.state date dux)
:: +set-timer: set a timer, maintaining order
::