diff options
Diffstat (limited to 'gas/read.h')
-rw-r--r-- | gas/read.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/read.h b/gas/read.h index e21d605d9d..da3c7d3102 100644 --- a/gas/read.h +++ b/gas/read.h @@ -122,7 +122,7 @@ extern void end_repeat PARAMS((int)); extern void generate_lineno_debug PARAMS ((void)); -extern void s_abort PARAMS ((int)); +extern void s_abort PARAMS ((int)) ATTRIBUTE_NORETURN; extern void s_align_bytes PARAMS ((int arg)); extern void s_align_ptwo PARAMS ((int)); extern void s_app_file PARAMS ((int)); |