1
0
Fork 0

Merge pull request #8612 from souweb22/Delete_variable

Delete variable
pull/8639/head
Nils Adermann 2020-02-18 18:03:27 +01:00 committed by GitHub
commit f154d5c09d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions

View File

@ -679,7 +679,6 @@ class Solver
*/
$decisionQueue = array();
$decisionSupplementQueue = array();
/**
* @todo this makes $disableRules always false; determine the rationale and possibly remove dead code?
*/
@ -687,7 +686,6 @@ class Solver
$level = 1;
$systemLevel = $level + 1;
$installedPos = 0;
while (true) {
if (1 === $level) {