diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2018-06-18 13:27:57 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2018-06-18 13:29:23 +1000 |
commit | 8aef3610622b0acf785909dce40a0644107c9728 (patch) | |
tree | 28ee7765ac09d2fb279cea863b7cf51ec4db16fa /tools | |
parent | 653beca66227dcd0c3432a4fc486ba9c6a59bdb9 (diff) |
quirks: explicitly cast the log priority
The values are the same and this is ABI so they will never change. Make the
cast explicit for coverity's benefit.
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to 'tools')
-rw-r--r-- | tools/libinput-list-quirks.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/libinput-list-quirks.c b/tools/libinput-list-quirks.c index 009f7d64..a46b2b96 100644 --- a/tools/libinput-list-quirks.c +++ b/tools/libinput-list-quirks.c @@ -41,7 +41,7 @@ log_handler(struct libinput *this_is_null, va_list args) { FILE *out = stdout; - enum quirks_log_priorities p = priority; + enum quirks_log_priorities p = (enum quirks_log_priorities)priority; char buf[256] = {0}; const char *prefix = ""; |