1
0
Fork 0

Merge pull request #147 from digitalkaoz/solver_typo_fix

fixed typo
pull/146/merge
Nils Adermann 2011-12-06 13:18:50 -08:00
commit 8de2c0604e
1 changed files with 1 additions and 1 deletions

View File

@ -1500,7 +1500,7 @@ class Solver
break 2;
}
foreach ($this->learnedLiterals as $i => $learnedLiteral) {
foreach ($learnedLiterals as $i => $learnedLiteral) {
if ($i !== 0) {
unset($seen[$literal->getPackageId()]);
}