diff options
| -rw-r--r-- | crawl-ref/source/random.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/random.cc b/crawl-ref/source/random.cc index 758f5ea599..d121c2002b 100644 --- a/crawl-ref/source/random.cc +++ b/crawl-ref/source/random.cc @@ -1,5 +1,6 @@ #include "AppHdr.h" +#include <stdint.h> #include "random.h" int random_range(int low, int high) |