diff options
| -rw-r--r-- | crawl-ref/source/menu.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/menu.cc b/crawl-ref/source/menu.cc index 690b8cdcb5..a8a310ef30 100644 --- a/crawl-ref/source/menu.cc +++ b/crawl-ref/source/menu.cc @@ -10,6 +10,7 @@ #include "cio.h" #include "colour.h" +#include "env.h" #include "menu.h" #include "macro.h" #include "message.h" |