X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/803efcdfac42854ceb72d0cdf1b149071a452e16..4b599b6d43e8a612f8ab5b23c6ab88ec98a755d6:/putty.h

diff --git a/putty.h b/putty.h
index 89531254..4b85aa90 100644
--- a/putty.h
+++ b/putty.h
@@ -426,6 +426,10 @@ Mouse_Button translate_button(void *frontend, Mouse_Button b);
 void connection_fatal(void *frontend, char *, ...);
 void fatalbox(char *, ...);
 void modalfatalbox(char *, ...);
+#ifdef macintosh
+#pragma noreturn(fatalbox)
+#pragma noreturn(modalfatalbox)
+#endif
 void beep(void *frontend, int);
 void begin_session(void *frontend);
 void sys_cursor(void *frontend, int x, int y);