X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmessage.h;h=fad7816f19b0c57804248010203fbbda35feb512;hb=20ab4257de9330d8ad358fd8f66ebcd75bd1846a;hp=7c1110175e052a4ad4ebf3de6475561647772c38;hpb=7d34380bb2fddca820a6f414564738cc2f70afc9;p=pspp

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 7c1110175e..fad7816f19 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -117,7 +117,7 @@ void msg_ui_disable_warnings (bool);
 
 
 /* Used in panic situations only. */
-void request_bug_report_and_abort (const char *msg) NO_RETURN;
+void request_bug_report (const char *msg);
 
 
 #endif /* message.h */