shred: fix declaration typo

* gl/lib/randint.h (randint_all_new):
Do not declare with _GL_ATTRIBUTE_NONNULL (), as
the arg can be a null pointer.  This fixes a typo added in
2021-11-01T05:30:28Z!eggert@cs.ucla.edu.

diff --git a/gl/lib/randint.h b/gl/lib/randint.h
index b9721f3f51f7ff50f023c50be5039ba501cb2f56..775d1b775a30271d0b6dc03e065576532b495346 100644 (file)
--- a/gl/lib/randint.h
+++ b/gl/lib/randint.h
@@ -38,8 +38,7 @@ struct randint_source *randint_new (struct randread_source *)
   _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_free, 1)
   _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_RETURNS_NONNULL;
 struct randint_source *randint_all_new (char const *, size_t)
-  _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_all_free, 1)
-  _GL_ATTRIBUTE_NONNULL ();
+  _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_all_free, 1);
 struct randread_source *randint_get_source (struct randint_source const *)
   _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_PURE;
 randint randint_genmax (struct randint_source *, randint genmax)