diff options
Diffstat (limited to 'crawl-ref/source/arena.cc')
| -rw-r--r-- | crawl-ref/source/arena.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/arena.cc b/crawl-ref/source/arena.cc index 74d29193d1..0c18e8d33d 100644 --- a/crawl-ref/source/arena.cc +++ b/crawl-ref/source/arena.cc @@ -6,6 +6,7 @@ #include "AppHdr.h" #include "externs.h" +#include "options.h" #include "arena.h" #include "artefact.h" #include "cio.h" |