[PATCH libinput] tools: change pointer to void

[Peter Hutterer]

On Thu, Sep 15, 2016 at 11:33:49AM +0100, Eric Engestrom wrote:
> 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>

merged, thanks.

Cheers,
   Peter

> ---
>  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
>