pxTCB is no longer needed in this local function.
@@ -3948,8 +3948,6 @@ static void prvCheckTasksWaitingTermination( void )
static void prvResetNextTaskUnblockTime( void )
{
-TCB_t *pxTCB;
-
if( listLIST_IS_EMPTY( pxDelayedTaskList ) != pdFALSE )
{
/* The new current delayed list is empty. Set xNextTaskUnblockTime to
