From: Andi Gutmans <andi@php.net>
Date: Thu, 22 Feb 2001 11:30:53 +0000 (+0000)
Subject: - Fix indentation and remove comment.
X-Git-Tag: php-4.0.5RC1~188
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9a28132876f52a062ef966e07df950206c8fb9bb;p=php

- Fix indentation and remove comment.
---

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;
 }