[PATCH] pk_fatal: Add the noreturn attribute

[John Darrington]

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

diff --git a/poke/poke.h b/poke/poke.h
index 05f686af..99b1006e 100644
--- a/poke/poke.h
+++ b/poke/poke.h
@@ -47,7 +47,7 @@ extern int poke_auto_map_p;
 extern int poke_prompt_maps_p;
 
 void pk_print_version (void);
-void pk_fatal (const char *errmsg);
+void pk_fatal (const char *errmsg) __attribute__ ((noreturn));
 
 static inline void
 pk_assert_alloc (const void *m)
-- 
2.20.1