Optimize headers

[oweals/minetest.git] / src / guiTextInputMenu.h

diff --git a/src/guiTextInputMenu.h b/src/guiTextInputMenu.h
index 2e2aff0f673a32bdd22d300f16a21f3880e64e75..76417894b8d755b0b8247a85cf88a98dadbefd54 100644 (file)
--- a/src/guiTextInputMenu.h
+++ b/src/guiTextInputMenu.h
@@ -20,7 +20,7 @@ with this program; if not, write to the Free Software Foundation, Inc.,
 #ifndef GUITEXTINPUTMENU_HEADER
 #define GUITEXTINPUTMENU_HEADER
 
-#include "common_irrlicht.h"
+#include "irrlichttypes_extrabloated.h"
 #include "modalMenu.h"
 #include <string>