Update for change in const lint name.#764

Merged

Centril merged 1 commit intorust-lang:masterfrom ehuss:fix-new-lint-name

Feb 21, 2020

+1-1

Commits on Feb 21, 2020

Update for change in const lint name.
ehuss
committed