diff options
Diffstat (limited to 'gl/lib/randint.h')
| -rw-r--r-- | gl/lib/randint.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gl/lib/randint.h b/gl/lib/randint.h index edd6b1933..80c9a0e5f 100644 --- a/gl/lib/randint.h +++ b/gl/lib/randint.h @@ -34,7 +34,8 @@ struct randint_source; struct randint_source *randint_new (struct randread_source *); struct randint_source *randint_all_new (char const *, size_t); -struct randread_source *randint_get_source (struct randint_source const *); +struct randread_source *randint_get_source (struct randint_source const *) + _GL_ATTRIBUTE_PURE; randint randint_genmax (struct randint_source *, randint genmax); /* Consume random data from *S to generate a random number in the range |