What is a magistrate who, having been pretor at home, was appointed to the government of a province. [Written also proprætor.] called?

propretor — A magistrate who, having been pretor at home, was appointed to the government of a province. [Written also proprætor.]. (Webster's 1913.)