From b5aa534c43f0a5f5400e63b101a86024aa274aa0 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 24 Mar 2022 00:31:52 +0100
Subject: [PATCH] Tiny tweak.

---
 libsolutil/LP.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/libsolutil/LP.cpp b/libsolutil/LP.cpp
index 50569f297..134b0ea01 100644
--- a/libsolutil/LP.cpp
+++ b/libsolutil/LP.cpp
@@ -595,9 +595,6 @@ pair<LPResult, variant<map<size_t, rational>, ReasonSet>> SolvingStateSimplifier
 			return {LPResult::Infeasible, move(*conflict)};
 		if (auto conflict = extractDirectConstraints())
 			return {LPResult::Infeasible, move(*conflict)};
-		// Used twice on purpose
-		if (auto conflict = removeFixedVariables())
-			return {LPResult::Infeasible, move(*conflict)};
 		// TODO we cannot do this anymore because it would
 		// mess up the variable numbering
 		// removeEmptyColumns();