diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-08-16 22:11:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-16 22:11:45 +0200 |
commit | 85511a642f851100d0d856f4ecbe7fea7a7bb049 (patch) | |
tree | b25e4196578cb4734008642a29101393c6d9c457 /src/gettext.h | |
parent | 816bca32ac69f58b7de881d68689c6a1e3897a0e (diff) | |
download | minetest-85511a642f851100d0d856f4ecbe7fea7a7bb049.tar.gz minetest-85511a642f851100d0d856f4ecbe7fea7a7bb049.tar.bz2 minetest-85511a642f851100d0d856f4ecbe7fea7a7bb049.zip |
Cleanup various headers to reduce compilation times (#6255)
* Cleanup various headers to reduce compilation times
Diffstat (limited to 'src/gettext.h')
-rw-r--r-- | src/gettext.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gettext.h b/src/gettext.h index 885d7ca2d..b87bdd9cc 100644 --- a/src/gettext.h +++ b/src/gettext.h @@ -21,6 +21,7 @@ with this program; if not, write to the Free Software Foundation, Inc., #define GETTEXT_HEADER #include "config.h" // for USE_GETTEXT +#include <string> #if USE_GETTEXT #include <libintl.h> |