From 9a28132876f52a062ef966e07df950206c8fb9bb Mon Sep 17 00:00:00 2001 From: Andi Gutmans Date: Thu, 22 Feb 2001 11:30:53 +0000 Subject: [PATCH] - Fix indentation and remove comment. --- main/main.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/main/main.c b/main/main.c index b926d5661a..1bc3cdf322 100644 --- a/main/main.c +++ b/main/main.c @@ -1263,8 +1263,10 @@ PHPAPI int php_lint_script(zend_file_handle *file CLS_DC ELS_DC PLS_DC) op_array = zend_compile_file(file, ZEND_INCLUDE CLS_CC); retval = (op_array?SUCCESS:FAILURE); - /* SMC op_array may be NULL */ - if (op_array != NULL) destroy_op_array(op_array); + + if (op_array != NULL) { + destroy_op_array(op_array); + } return retval; } -- 2.50.1