smatch_type.c: fix type of pointer diff
commit5186a4df7744dcb7583fd71c223f91a520baeae6
authorRasmus Villemoes <rv@rasmusvillemoes.dk>
Fri, 27 Oct 2017 23:22:40 +0000 (28 01:22 +0200)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 30 Oct 2017 08:41:32 +0000 (30 11:41 +0300)
tree7a8882598a0b7f6ee500be2f3ee2c93e9b9eec59
parent6c4a322ca1c1be053b464031770c006dab4657a3
smatch_type.c: fix type of pointer diff

Signed-off-by: Rasmus Villemoes <rv@rasmusvillemoes.dk>
smatch_type.c