правильщик, правильщика, муж. (спец.).
1. Рабочий, который правит, исправляет набор согласно поправкам на корректурных оттисках (тип.).
2. Рабочий, занимающийся правкой чего-нибудь (см. править в 5 знач.).