diff options
author | gammafunk <gammafunk@gmail.com> | 2014-07-12 05:49:40 -0500 |
---|---|---|
committer | gammafunk <gammafunk@gmail.com> | 2014-07-12 06:12:15 -0500 |
commit | 00f2e2e4d8836e699de4ecf33d02448a22508720 (patch) | |
tree | e449b50a3e9ff139b95ff54b2256baf7fa96f67b /crawl-ref/source/player-reacts.cc | |
parent | 632f01bb31bc77423f74d9de6923b09ba963d51f (diff) | |
download | crawl-ref-00f2e2e4d8836e699de4ecf33d02448a22508720.tar.gz crawl-ref-00f2e2e4d8836e699de4ecf33d02448a22508720.zip |
Remove an unnecessary include
Diffstat (limited to 'crawl-ref/source/player-reacts.cc')
-rw-r--r-- | crawl-ref/source/player-reacts.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crawl-ref/source/player-reacts.cc b/crawl-ref/source/player-reacts.cc index 2b7cd087e7..b694e1f96b 100644 --- a/crawl-ref/source/player-reacts.cc +++ b/crawl-ref/source/player-reacts.cc @@ -44,7 +44,6 @@ #include "coordit.h" #include "crash.h" #include "database.h" -#include "dbg-scan.h" #include "dbg-util.h" #include "delay.h" #include "describe.h" |