uint vs. uint32_t

diff --git a/main/php_streams.h b/main/php_streams.h
index 1bdee95d171fa8bfe04ff6d1a3e42765ca157752..f08e72b69b3e2dd818827ada83f174c0b558668b 100644 (file)
--- a/main/php_streams.h
+++ b/main/php_streams.h
@@ -230,7 +230,7 @@ struct _php_stream  {
 
 #if ZEND_DEBUG
        const char *open_filename;
-       uint open_lineno;
+       uint32_t open_lineno;
 #endif
 
        struct _php_stream *enclosing_stream; /* this is a private stream owned by enclosing_stream */