1
0
Fork 0

Remove unused local variable

pull/8051/head
Marc Würth 2019-03-21 19:44:49 +01:00
parent 4441be1a05
commit fb8b06edef
1 changed files with 0 additions and 1 deletions

View File

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