diff options
Diffstat (limited to 'crawl-ref/source/stuff.cc')
-rw-r--r-- | crawl-ref/source/stuff.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crawl-ref/source/stuff.cc b/crawl-ref/source/stuff.cc index 0a0fbbe1d8..4c5d1ff876 100644 --- a/crawl-ref/source/stuff.cc +++ b/crawl-ref/source/stuff.cc @@ -16,6 +16,7 @@ #include "AppHdr.h" #include "database.h" #include "direct.h" +#include "message.h" #include "monplace.h" #include "stuff.h" #include "view.h" @@ -347,6 +348,8 @@ void cio_cleanup() deinit_libw32c(); #endif + msg::deinitalise_mpr_streams(); + io_inited = false; } |