tools: change pointer to void

This makes it clear that it's not meant to be dereferenced.

CC: Peter Hutterer <peter.hutterer@who-t.net>
Signed-off-by: Eric Engestrom <eric.engestrom@imgtec.com>
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
Eric Engestrom 2016-09-15 11:33:49 +01:00 committed by Peter Hutterer
parent 31a168abcd
commit 9f11610eff

View file

@ -50,7 +50,7 @@ static void
print_event_header(struct libinput_event *ev)
{
/* use for pointer value only, do not dereference */
static struct libinput_device *last_device = NULL;
static void *last_device = NULL;
struct libinput_device *dev = libinput_event_get_device(ev);
const char *type = NULL;
char prefix;