- Fix indentation and remove comment.

diff --git a/main/main.c b/main/main.c
index b926d5661a5ba7627f0611209c25d49b4f1701b7..1bc3cdf3221a9b2756e4cf45864d112e8be555a6 100644 (file)
--- 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;
 }