Commit d71ee32416a892aa3b13ffa1ad69d005fdb5781f

Paul Eggert 2013-02-19T12:30:32

Fix typo in stdnoreturn documentation.