[PATCH libinput] tools: change pointer to void

[Eric Engestrom]

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

CC: Peter Hutterer <peter.hutterer at who-t.net>
Signed-off-by: Eric Engestrom <eric.engestrom at imgtec.com>
---
 tools/event-debug.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/event-debug.c b/tools/event-debug.c
index 0e95611..5cd5915 100644
--- a/tools/event-debug.c
+++ b/tools/event-debug.c
@@ -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;
-- 
Cheers,
  Eric