Removes dead code that was unnoticed Signed-off-by: Wolfgang Walther <walther@technowledgy.de>
c3ade07