Толковый словарь Ушакова
ПРАВ’ИЛЬЩИК, правильщика, ·муж. (спец.).
1. Рабочий, который правит, исправляет набор согласно поправкам на корректурных оттисках (·тип. ).
2. Рабочий, занимающийся правкой чего-нибудь (см. править в 5 ·знач. ).
правильщик