# HG changeset patch
# User Paul Eggert <eggert@cs.ucla.edu>
# Date 1361305832 28800
# Node ID bfb7633de5b063d3952fd2265cbc77591e807456
# Parent  6f8d1926ece816bcc74dff7d01477d39a05f10e5
Fix typo in stdnoreturn documentation.

diff -r 6f8d1926ece8 -r bfb7633de5b0 doc/posix-headers/stdnoreturn.texi
--- a/doc/posix-headers/stdnoreturn.texi	Mon Feb 18 17:16:30 2013 -0800
+++ b/doc/posix-headers/stdnoreturn.texi	Tue Feb 19 12:30:32 2013 -0800
@@ -28,6 +28,7 @@
 compiler is not informed whether @code{noreturn} functions do not
 return, so it may generate incorrect warnings at compile-time, or code
 that is slightly less optimized.  This problem does not occur with
+@code{_Noreturn}.
 @item
 Circa 2012 bleeding-edge GCC with @code{-Werror=old-style-declaration}
 requires @code{_Noreturn} or @code{noreturn} before the returned type