1
0
Fork 0

Merge pull request #7458 from staabm/patch-3

Define variable only when actually used
pull/7432/merge
Rob 2018-07-12 10:01:19 +02:00 committed by GitHub
commit 7079cdb70d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions

View File

@ -510,9 +510,8 @@ class Solver
*/
private function analyzeUnsolvableRule(Problem $problem, Rule $conflictRule)
{
$why = spl_object_hash($conflictRule);
if ($conflictRule->getType() == RuleSet::TYPE_LEARNED) {
$why = spl_object_hash($conflictRule);
$learnedWhy = $this->learnedWhy[$why];
$problemRules = $this->learnedPool[$learnedWhy];