rasp house
nounDefinition of rasp house
: a house of correction formerly in use (as in Holland, Germany) whose prisoners rasped wood to powder for dyeing