diff options
| -rw-r--r-- | crawl-ref/source/traps.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/traps.cc b/crawl-ref/source/traps.cc index eebdd09865..cd57cc0b81 100644 --- a/crawl-ref/source/traps.cc +++ b/crawl-ref/source/traps.cc @@ -29,6 +29,7 @@ #include "mon-util.h" #include "mon-stuff.h" #include "mon-transit.h" +#include "options.h" #include "ouch.h" #include "player.h" #include "skills.h" |