Fix warning and make code follow the text better#17350

Merged

bors merged 1 commit intorust-lang:masterfrom pablobm:doc-fix

Sep 20, 2014

-2

Commits on Sep 17, 2014

Fix warning and make code follow the text better
pablobm
committed