Commit a7655d77d11dc3528b70014590a33d72c53587a0

Philipp Wiesemann 2016-11-30T23:31:23

Fixed warning about storing an unused value. Found by buildbot.