Everton manager Roberto Martinez praised referee Lee Mason for taking swift action after a reported incident of spectator racism during his side's FA Cup win at Carlisle.