From be3d7f91e5c71f3736cd85ce7016f2b5629cd6e9 Mon Sep 17 00:00:00 2001
From: Damien George
Date: Thu, 16 Feb 2017 17:23:06 +1100
Subject: py/nlr.h: Mark nlr_jump_fail as NORETURN.

---
 py/nlr.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'py')

diff --git a/py/nlr.h b/py/nlr.h
index 6c86fc26c..00c1072fe 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
-- 
cgit v1.2.3