rubbing stone

rubbing stone

A stone for polishing or erasing the toolmarks on a stone, or on bricks for gauged work after they have been rough-shaped.