To diminish; to put an end to; to diminish a problem.