diff options
Diffstat (limited to 'rpmio')
-rw-r--r-- | rpmio/messages.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpmio/messages.c b/rpmio/messages.c index ee6f7c1ef..e968247ec 100644 --- a/rpmio/messages.c +++ b/rpmio/messages.c @@ -64,14 +64,14 @@ void rpmMessage(int level, const char * format, ...) { vfprintf(stderr, format, args); fflush(stderr); exit(EXIT_FAILURE); - /*@unreached@*/ break; + /*@notreached@*/ break; default: fprintf(stderr, _("internal error (rpm bug?): ")); vfprintf(stderr, format, args); fflush(stderr); exit(EXIT_FAILURE); - /*@unreached@*/ break; + /*@notreached@*/ break; } } |