Off by one error in the solver - 1 cannot be false

Fixes composer#133, composer#160, composer#162, composer#177, composer#289
naderman · Feb 17, 2012 · cb7f656 · cb7f656
1 parent 70bea8f
commit cb7f656
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Composer/DependencyResolver/Solver.php b/src/Composer/DependencyResolver/Solver.php
@@ -1477,7 +1477,7 @@ protected function analyze($level, $rule)
 
                 $l1retry = false;
 
-                if (!$num && !$l1num) {
+                if (!$num && !--$l1num) {
                     // all level 1 literals done
                     break 2;
                 }