From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 17 Oct 2017 16:59:42 +0000 (+0200)
Subject: main(): Don't initialize user data pointer.
X-Git-Tag: v1.0.0~11^2~2
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=f38f86c1d4695a7016d5002e979c4f68ed12fb69;hp=f38f86c1d4695a7016d5002e979c4f68ed12fb69;p=dss.git

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