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.xz | |
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> |