Coverity: circpadding: dead code in circpad_machine_remove_token

In circpad_machine_remove_token(), we check for state==NULL on line 1087, and then again on line 1107. Since state is not assigned between these points, the second check is dead code.

This is CID 1447298.