On Tue, Aug 19, 2014 at 11:21 AM, Laruence <[email protected]> wrote: > Hey: > > the problem came from zend_ast_size for 0 children node.. >
Thanks for the report, this should be fixed now: https://github.com/nikic/php-src/commit/69f0deb399eec76bc8afa97fa383b08a207582fb Nikita
