1 files changed, 1 insertions, 1 deletions
diff --git a/py/nlr.h b/py/nlr.h
index 6c86fc26c3..00c1072fef 100644
--- a/py/nlr.h
+++ b/py/nlr.h
@@ -82,7 +82,7 @@ NORETURN void nlr_jump(void *val);
 // This must be implemented by a port.  It's called by nlr_jump
 // if no nlr buf has been pushed.  It must not return, but rather
 // should bail out with a fatal error.
-void nlr_jump_fail(void *val);
+NORETURN void nlr_jump_fail(void *val);
 
 // use nlr_raise instead of nlr_jump so that debugging is easier
 #ifndef DEBUG