diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-21 00:47:44 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-21 00:47:44 +0300 |
| commit | fffbd86a1014ad169ed2d68ea58cdddf346faa14 (patch) | |
| tree | 713c96fcf7421ca87f638d312e752179281cb8fe /src/graphicsmanager.h | |
| parent | 1941b81a5a278f26a5d7e1f91903ab04c92e2cd1 (diff) | |
| download | mv-fffbd86a1014ad169ed2d68ea58cdddf346faa14.tar.gz mv-fffbd86a1014ad169ed2d68ea58cdddf346faa14.tar.bz2 mv-fffbd86a1014ad169ed2d68ea58cdddf346faa14.tar.xz mv-fffbd86a1014ad169ed2d68ea58cdddf346faa14.zip | |
Add missing checks and non null attributes.
Diffstat (limited to 'src/graphicsmanager.h')
| -rw-r--r-- | src/graphicsmanager.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/graphicsmanager.h b/src/graphicsmanager.h index 0063be275..f2c0e6507 100644 --- a/src/graphicsmanager.h +++ b/src/graphicsmanager.h @@ -134,7 +134,8 @@ class GraphicsManager final static std::string getGLString(const int num) A_WARN_UNUSED; - static void logString(const char *const format, const int num); + static void logString(const char *const format, + const int num) A_NONNULL(1); void detectVideoSettings(); |