Update __init__.c

This commit is contained in:
DavePutz 2020-06-19 12:33:43 -05:00 committed by GitHub
parent 6a76e1571b
commit 99789289d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -48,7 +48,7 @@ void common_hal_time_delay_ms(uint32_t delay) {
// if the delay was cut short by a CTRL-C then clear the keyboard exception
if(MP_STATE_VM(mp_pending_exception) == MP_OBJ_FROM_PTR(&MP_STATE_VM(mp_kbd_exception)))
{
MP_STATE_VM(mp_pending_exception) = MP_OBJ_NULL;
MP_STATE_VM (mp_pending_exception) = MP_OBJ_NULL;
nlr_raise(mp_obj_new_exception(&mp_type_KeyboardInterrupt));
}
}