X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Flexer%2Fq2c.c;h=f2617092b3368c6173a4676ee549b3bf7cb320d5;hb=882f1af2718defe8917d64972e73adb0d0bcd059;hp=cf8aab1ba27bea153e8dab2cae5ab557ea64c2bc;hpb=54edb8eb43cea865e2d85e5d359e6481f31941e6;p=pspp

diff --git a/src/language/lexer/q2c.c b/src/language/lexer/q2c.c
index cf8aab1ba2..f2617092b3 100644
--- a/src/language/lexer/q2c.c
+++ b/src/language/lexer/q2c.c
@@ -106,8 +106,8 @@ hcf (void)
   exit (EXIT_FAILURE);
 }
 
-int fail (const char *, ...) PRINTF_FORMAT (1, 2);
-int error (const char *, ...) PRINTF_FORMAT (1, 2);
+int fail (const char *, ...) PRINTF_FORMAT (1, 2) NO_RETURN;
+int error (const char *, ...) PRINTF_FORMAT (1, 2) NO_RETURN;
 
 /* Output an error message and terminate unsuccessfully. */
 int