diff options
Diffstat (limited to 'lib/randperm.h')
| -rw-r--r-- | lib/randperm.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/randperm.h b/lib/randperm.h deleted file mode 100644 index 79bbf9fe6..000000000 --- a/lib/randperm.h +++ /dev/null @@ -1,4 +0,0 @@ -#include "randint.h" -#include <stddef.h> -size_t randperm_bound (size_t, size_t); -size_t *randperm_new (struct randint_source *, size_t, size_t); |