1
0
Fork 0

Merge pull request #8051 from ravage84/unused-rule

Remove unused local variable
pull/8070/head
Nils Adermann 2019-03-27 15:54:08 +01:00 committed by GitHub
commit 3cbcfe663e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -79,7 +79,6 @@ class Problem
reset($reasons); reset($reasons);
$reason = current($reasons); $reason = current($reasons);
$rule = $reason['rule'];
$job = $reason['job']; $job = $reason['job'];
if (isset($job['constraint'])) { if (isset($job['constraint'])) {