diff options
Diffstat (limited to 'lib/randint.c')
| -rw-r--r-- | lib/randint.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/randint.c b/lib/randint.c index e461bf716..5ee738a50 100644 --- a/lib/randint.c +++ b/lib/randint.c @@ -18,9 +18,7 @@ /* Written by Paul Eggert. */ -#ifdef HAVE_CONFIG_H -# include <config.h> -#endif +#include <config.h> #include "randint.h" |