Artigo 42 do Decreto-Lei nº 6.227 de 24 de Janeiro de 1944

Institui o código penal militar.

Qualquer pena privativa de liberdade, por tempo até dois anos, imposta a militar, é convertida em prisão e cumprida:

pelo oficial, em recinto de estabelecimento militar;

pela praça, em prisão militar.