From 42c08b85c852a38b80ca2bb415ea3d9d425be86c Mon Sep 17 00:00:00 2001
From: Christopher Berner <christopherberner@gmail.com>
Date: Sun, 17 Jan 2021 20:14:54 -0800
Subject: [PATCH] Remove unnecessary condition

This is always true, since we're in the r = 1 case
---
 src/pi_solver.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/pi_solver.rs b/src/pi_solver.rs
index 52c0703..b947a2e 100644
--- a/src/pi_solver.rs
+++ b/src/pi_solver.rs
@@ -336,9 +336,8 @@ impl FirstPhaseRowSelectionStats {
         if r == 1 {
             assert_ne!(0, self.rows_with_single_one.len());
             for &row in self.rows_with_single_one.iter() {
-                let ones = self.ones_per_row.get(row);
                 let row_original_degree = self.original_degree.get(row);
-                if ones as usize == r && row_original_degree < chosen_original_degree {
+                if row_original_degree < chosen_original_degree {
                     chosen = Some(row);
                     chosen_original_degree = row_original_degree;
                 }