main(): Don't initialize user data pointer.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 17 Oct 2017 16:59:42 +0000 (18:59 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 28 Oct 2017 09:25:01 +0000 (11:25 +0200)
commitf38f86c1d4695a7016d5002e979c4f68ed12fb69
tree872657f1ab2328d037bf0b707cdc70385320b611
parent3e8d431fb78e95c0d595b6e7e37ff248c0fa4edd
main(): Don't initialize user data pointer.

It is never used uninitialized. The unnecessary initialization only
hides the warning from the compiler if it ever should ever be used
uninitialized.
dss.c