diff options
author | Adam Borowski <kilobyte@angband.pl> | 2010-09-26 03:06:48 +0200 |
---|---|---|
committer | Adam Borowski <kilobyte@angband.pl> | 2010-09-26 03:06:48 +0200 |
commit | 931040fac24525a457a62e21331572648a2104be (patch) | |
tree | 74c570df25c644ab775fd3943bf228252ce3c14b /crawl-ref/source/random.cc | |
parent | 8083632f65832778889f5f5ec1a18f06f8caac40 (diff) | |
download | crawl-ref-931040fac24525a457a62e21331572648a2104be.tar.gz crawl-ref-931040fac24525a457a62e21331572648a2104be.zip |
Fix tiles compilation.
I went the lazy way and just stuck stdint.h at the beginning, we include it
from a number of basic and/or platform-dependent headers so was pulled by
AppHdr.h anyway.
Diffstat (limited to 'crawl-ref/source/random.cc')
-rw-r--r-- | crawl-ref/source/random.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crawl-ref/source/random.cc b/crawl-ref/source/random.cc index 5277f7e4ec..c85d55fef2 100644 --- a/crawl-ref/source/random.cc +++ b/crawl-ref/source/random.cc @@ -1,6 +1,5 @@ #include "AppHdr.h" -#include <stdint.h> #include "random.h" int random_range(int low, int high) |