diff options
Diffstat (limited to 'ext/spl/php_spl.h')
| -rwxr-xr-x | ext/spl/php_spl.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ext/spl/php_spl.h b/ext/spl/php_spl.h index 9e30e7b01a..8412b4cbd6 100755 --- a/ext/spl/php_spl.h +++ b/ext/spl/php_spl.h @@ -21,7 +21,9 @@ #include "php.h" #if defined(PHP_WIN32) -#include "win32/php_stdint.h" +# include "win32/php_stdint.h" +#elif defined(HAVE_STDINT_H) +# include <stdint.h> #endif #include <stdarg.h> |