diff options
Diffstat (limited to 'doc/specs/parse_l.l')
-rw-r--r-- | doc/specs/parse_l.l | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/specs/parse_l.l b/doc/specs/parse_l.l index d8400a07..0edc08d7 100644 --- a/doc/specs/parse_l.l +++ b/doc/specs/parse_l.l @@ -1,7 +1,5 @@ %{ -#ifdef HAVE_CONFIG_H -# include <config.h> -#endif +#include <config.h> #include <stdio.h> |