diff options
| -rw-r--r-- | lib/embed/abort_.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/embed/abort_.c b/lib/embed/abort_.c index b54d08f2c..a6df8143c 100644 --- a/lib/embed/abort_.c +++ b/lib/embed/abort_.c @@ -1,5 +1,7 @@ #include <py/runtime.h> -void abort_(void) { +NORETURN void abort_(void); + +NORETURN void abort_(void) { nlr_raise(mp_obj_new_exception_msg(&mp_type_RuntimeError, "abort() called")); } |