diff options
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/pl-lexer.l')
-rw-r--r-- | Build/source/texk/web2c/omegafonts/pl-lexer.l | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/Build/source/texk/web2c/omegafonts/pl-lexer.l b/Build/source/texk/web2c/omegafonts/pl-lexer.l index a2fb448e23c..7f9c719eea2 100644 --- a/Build/source/texk/web2c/omegafonts/pl-lexer.l +++ b/Build/source/texk/web2c/omegafonts/pl-lexer.l @@ -23,17 +23,8 @@ along with Omega; if not, write to the Free Software Foundation, Inc., */ -#include <string.h> -#include <kpathsea/c-proto.h> -#ifdef WIN32 -#if defined __MINGW32__ -#include <kpathsea/mingw32.h> -#else -#include <win32lib.h> -#endif -#endif +#include <kpathsea/config.h> #include "parser.h" -#include "kpathsea/types.h" #include "pl-parser.h" #include "manifests.h" #include "error_routines.h" |