On 05 Dec 2016 12:19, Andreas Schwab wrote:
> There is nothing that uses that variable.

OK
-mike