Added support for GCC's returns_nonnull attribute (with GCC 4.9+).

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13470 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 1 insertions, 2 deletions

diff --git a/TODO b/TODO
index 6a5428d38..f0d3ddde8 100644
--- a/TODO
+++ b/TODO
@@ -627,8 +627,7 @@ Table of contents:
   constants) because we do not have the control of memory allocation for
   mpz_init.
 
-- use GCC's nonnull (available since GCC 4.0) and returns_nonnull
-  (available since GCC 4.9) attributes where applicable.
+- use GCC's nonnull attribute (available since GCC 4.0) where applicable.
 
 
 ##############################################################################