diff options
author | foobar <sniper@php.net> | 2004-12-30 15:18:24 +0000 |
---|---|---|
committer | foobar <sniper@php.net> | 2004-12-30 15:18:24 +0000 |
commit | 4cf9d27072171a300e9014695d1a29a61b693c5e (patch) | |
tree | 2cc2f7515599f9999a38580700b6391e7519db6c /Zend/zend_ini_scanner.l | |
parent | a3943d9be574138989d28694dd8ce777d0ab82ee (diff) | |
download | php-git-4cf9d27072171a300e9014695d1a29a61b693c5e.tar.gz |
- Fixed bug #28930 (PHP sources pick wrong header files generated by bison)
Diffstat (limited to 'Zend/zend_ini_scanner.l')
-rw-r--r-- | Zend/zend_ini_scanner.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_ini_scanner.l b/Zend/zend_ini_scanner.l index 3217e08f56..a6c368551f 100644 --- a/Zend/zend_ini_scanner.l +++ b/Zend/zend_ini_scanner.l @@ -32,7 +32,7 @@ #include <errno.h> #include "zend.h" #include "zend_globals.h" -#include "zend_ini_parser.h" +#include <zend_ini_parser.h> #include "zend_ini_scanner.h" #undef YYSTYPE |