diff options
| -rw-r--r-- | sim/ppc/device.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sim/ppc/device.h b/sim/ppc/device.h index bd53909..65c85e4 100644 --- a/sim/ppc/device.h +++ b/sim/ppc/device.h @@ -729,7 +729,7 @@ EXTERN_DEVICE\ (void) device_error (device *me, const char *fmt, - ...) ATTRIBUTE_PRINTF_2; + ...) ATTRIBUTE_NORETURN ATTRIBUTE_PRINTF_2; INLINE_DEVICE\ (int) device_trace |