Desgastar o pulir con la lima.

· Enmendar, pulir, corregir.