The centre-back had been part of an unchanged back four across Carrick's first five matches since taking charge as head coach, but was forced to miss Monday's 1-0 win at Everton with a problem he picked up in the days before the game.
It hasn't been clarified whether Martinez will be available for Sunday's Premier League fixture at home to Crystal Palace, but the boss hopes it will only be “a matter of days” before he can call on the World Cup winner again.
Michael also told MUTV's Mark Sullivan that Patrick Chinazaekpere Dorgu is progressing well in his recovery from a longer-term injury that has kept him out since he scored a terrific goal in January's win at Arsenal.