Mark Log_fatal noreturn

[umurmur.git] / src / log.h

diff --git a/src/log.h b/src/log.h
index 8bfc5b66692acc76686bb6a3143e2d3e70026f6e..eb7f5c86c97ec148e6d2894453c96e0e0a6a49f5 100644 (file)
--- a/src/log.h
+++ b/src/log.h
@@ -1,5 +1,5 @@
-/* Copyright (C) 2009-2010, Martin Johansson <martin@fatbob.nu>
-   Copyright (C) 2005-2010, Thorvald Natvig <thorvald@natvig.com>
+/* Copyright (C) 2009-2014, Martin Johansson <martin@fatbob.nu>
+   Copyright (C) 2005-2014, Thorvald Natvig <thorvald@natvig.com>
 
    All rights reserved.
 
@@ -53,7 +53,7 @@ void Log_debug(const char *logstring, ...);
 void Log_warn(const char *logstring, ...);
 void Log_info(const char *logstring, ...);
 void Log_info_client(client_t *client, const char *logstring, ...);
-void Log_fatal(const char *logstring, ...);
+void Log_fatal(const char *logstring, ...) __attribute__((__noreturn__));
 
 void Log_init(bool_t terminal);
 void Log_reset();