diff options
Diffstat (limited to 'main/main.c')
| -rw-r--r-- | main/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/main.c b/main/main.c index 93c03703b6..c77c2e13c1 100644 --- a/main/main.c +++ b/main/main.c @@ -1697,7 +1697,7 @@ PHPAPI int php_lint_script(zend_file_handle *file TSRMLS_DC) zend_destroy_file_handle(file TSRMLS_CC); if (op_array) { - destroy_op_array(op_array); + destroy_op_array(op_array TSRMLS_CC); efree(op_array); return SUCCESS; } else { |