From cb7f656fa99d704389fe356b6bf8acf2facf01b0 Mon Sep 17 00:00:00 2001
From: Nils Adermann <naderman@naderman.de>
Date: Sat, 18 Feb 2012 00:09:25 +0100
Subject: [PATCH] Off by one error in the solver - 1 cannot be false

Fixes #133, #160, #162, #177, #289
---
 src/Composer/DependencyResolver/Solver.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Composer/DependencyResolver/Solver.php b/src/Composer/DependencyResolver/Solver.php
index 2fa38b55e..b865aa82e 100644
--- a/src/Composer/DependencyResolver/Solver.php
+++ b/src/Composer/DependencyResolver/Solver.php
@@ -1477,7 +1477,7 @@ class Solver
 
                 $l1retry = false;
 
-                if (!$num && !$l1num) {
+                if (!$num && !--$l1num) {
                     // all level 1 literals done
                     break 2;
                 }