diff options
Diffstat (limited to 'main/streams/userspace.c')
| -rw-r--r-- | main/streams/userspace.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/streams/userspace.c b/main/streams/userspace.c index 0e9059a99e..d9e864594c 100644 --- a/main/streams/userspace.c +++ b/main/streams/userspace.c @@ -310,7 +310,7 @@ static php_stream *user_wrapper_opener(php_stream_wrapper *wrapper, const char * zval args[4]; int call_result; php_stream *stream = NULL; - zend_bool old_in_user_include; + bool old_in_user_include; /* Try to catch bad usage without preventing flexibility */ if (FG(user_stream_current_filename) != NULL && strcmp(filename, FG(user_stream_current_filename)) == 0) { |