From 38641ff34b70dee639bdd3ed15f53839431b6e07 Mon Sep 17 00:00:00 2001
From: Horst Schirmeier <horst.schirmeier@tu-dortmund.de>
Date: Tue, 6 Jan 2015 17:10:38 +0100
Subject: [PATCH] visualfail: silence redundant notice

Change-Id: Ib6a71474727fd64d4057db026eb0e90e603947a0
---
 tools/analysis/VisualFAIL/core.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/analysis/VisualFAIL/core.php b/tools/analysis/VisualFAIL/core.php
index 965abe4b..311a4dc7 100644
--- a/tools/analysis/VisualFAIL/core.php
+++ b/tools/analysis/VisualFAIL/core.php
@@ -236,7 +236,7 @@ function getHighlevelCode()
 
 	// FIXME use values from DB instead
 	for ($i = 0; $i < $numEntrysMapping-1; $i++) {
-		if (!is_array($mappingRanges[$row->linenumber])) {
+		if (!isset($mappingRanges[$row->linenumber])) {
 			$mappingRanges[$row->linenumber] = array();
 		}
 		$oldLineNumber = $row->linenumber;